SDKProof
AI编程工具SDKProof 是一个用 TypeScript 编译器(tsc)而非 LLM 评判来检验 AI 编码模型能否正确写出 SDK 当前 API 的工具。它通过让模型完成真实编码任务,再把答案放进装有真实 npm 包的项目中编译,只有编译通过才算得分。此外,它还能读取 npm 上两个已发布版本的类型声明并做差异对比,无需安装包或调用模型。
35,738 个结果 · 第 374 / 993 页
SDKProof 是一个用 TypeScript 编译器(tsc)而非 LLM 评判来检验 AI 编码模型能否正确写出 SDK 当前 API 的工具。它通过让模型完成真实编码任务,再把答案放进装有真实 npm 包的项目中编译,只有编译通过才算得分。此外,它还能读取 npm 上两个已发布版本的类型声明并做差异对比,无需安装包或调用模型。
SdPaint 是一个 Python 脚本,允许用户在画布上绘画,并将每一笔画通过 Automatic1111 API 发送给 Stable Diffusion 进行实时渲染,实现绘画与 AI 生成结合。它支持 ControlNet 扩展、img2img 实验模式、快速模式(LCM LoRA)、多种配置文件和快捷键操作。用户需拥有可用的 Stable Diffusion WebUI(含 ControlNet 扩展)并启用 API 模式。项目在 GitHub 上开源,提供 Windows 和 macOS 安装指南,适合希望进行实时 AI 辅助绘画的创作者。
SDXL AI Image 是一个在线 AI 图像生成平台,基于 SDXL 级模型,可将文字提示快速转换为图像,也支持上传图片进行风格重绘。官方称其免费、快速且可无限创作,支持文生图与图生图,提供写实、动漫、数字艺术、水彩、油画、赛博朋克等多种风格,并可下载高清无水印结果。平台还提供按月积分的付费方案,面向个人创作者、专业人士、小型企业及机构。
Seabiscuit 是一个面向创业者的人工智能工具与课程平台,旨在帮助有志创业者和资深企业创始人将想法转化为成功事业。根据官方介绍,该平台提供基于 GPT 的 AI 工具,为创业者提供必要的洞察与策略。目前关于其具体课程内容、工具细节、收费模式及使用方式等信息暂未提供。
Seal 是一个面向 AI 智能体的恰好一次支付层,通过 MCP 服务器和 Python 库提供 12 个工具,防止在跨进程和重试场景下对不可逆动作的重复执行。它利用 Postgres 实现原子准入,确保单一执行,并支持世界确认、分级授权、分级清算和可移植收据等功能。支持网关模式,让智能体持有单次票据而非提供商密钥,并引入 earned autonomy 机制,根据支付路径的历史表现动态授予自主权。
Seamless 是一款面向学术写作场景的 AI 工具,官网将其定位为用于文献综述、学术检索与论文写作的辅助工具。根据现有资料,其主要用途集中在帮助用户完成文献回顾、查找学术资料以及撰写文章等任务。该工具的具体功能细节、使用方式、支持平台、定价方案及实际效果暂未提供,需以官方网站说明为准。
Seamless Studio 是一款由 AI 驱动的样机(mockup)生成工具,专为设计师打造。其核心卖点是即时生成独特、高品质的样机,无需撰写复杂的提示词(no prompt engineering),也无需依赖通用图库素材。工具提供无穷无尽的变体、精选的风格以及简洁的用户界面,内置品味(taste built in),旨在解决设计工作中样机制作成本高、素材同质化、提示词调试繁琐等痛点。资料显示其尚处于 Beta 阶段,并已推出 2025 秋季系列(FALL 2025 COLLECTIONS)。创始人在说明中提到,该项目源于对臃肿 AI 工具、昂贵且千篇一律的样机以及寻找“正确”提示词过程的挫败感,作为设计师的理想工具而诞生。更多系列即将推出,并邀请用户反馈希望看到的内容。
Search Alkemy 是一款关键词研究工具,主要用于搜索引擎优化(SEO),帮助用户发现和分析关键词。其详细功能、价格与使用方法暂未提供。
SearchTriage 是一款基于 Google Search Console 数据的搜索效果与内容审计工具。它分析用户导出的 GSC 数据(CSV、ZIP、XLSX)并结合站点上下文,生成优先级排序的行动建议,帮助判断应该撰写、更新、内链、修复还是忽略哪些内容。核心输出围绕内容、CTR、页面优化和内部链接,每个建议都关联具体查询、页面和效果证据。工具不承诺排名、不自动更改网站,适合 SEO 从业者、代理机构、SaaS、本地服务及编辑团队使用。
search-console-mcp 是一个面向 AI 智能体和自动化流程的 MCP 服务器,将 Google Search Console、Bing Webmaster Tools、Google AdSense 和 GA4 的数据整合在同一套工具中,让用户可以直接用自然语言向 AI 智能体查询网站流量、排名和收入情况,无需在多个后台之间导出 CSV 并手动比对。该项目支持多账户自动识别、并行抓取引擎和 100% 向后兼容的旧版工具名,并提供 CLI 直接运行工具的能力。
Parallel Search MCP 是 Parallel 官方提供的托管式 MCP 服务器,为 AI 编码智能体提供免费的网页搜索与页面抓取能力。它无需账号、API 密钥或登录即可开始使用,通过远程 MCP 端点 https://search.parallel.ai/mcp 连接,提供 web_search(搜索)和 web_fetch(抓取页面)两个工具。该仓库包含针对 Codex、Cursor、VS Code、Gemini CLI、Hermes、OpenCode、OpenClaw 等客户端的安装配置说明及包文件。免费层面向个人智能体、业余项目和探索用途,受速率限制约束;如需更高配额、使用分析及生产级负载,可在 platform.parallel.ai 创建账号并连接 Parallel Search 连接器,认证后还可配置搜索模式、结果数量和域名过滤。
SearchAtlas MCP Server 是一个将任意兼容 MCP 的 AI 客户端连接到 SearchAtlas v2 托管 MCP 服务器的工具,提供 500 多个工具,覆盖 OTTO SEO、PPC、Content Genius、Site Explorer、Google Business Profile、本地 SEO、Link Laboratory、数字公关、LLM 可见性、关键词研究等营销功能。该包作为轻量级 stdio 桥接,适用于仅支持 stdio 的客户端;支持原生 Streamable-HTTP 的客户端可直接连接远程端点。兼容 Claude Code、Cursor、Claude Desktop、VS Code、Windsurf 和 Zed。
Searchcraft MCP Server 是由 Searchcraft 提供的 MCP 服务器,面向开发者优先的垂直搜索引擎。它提供一组工具,用于管理 Searchcraft 集群中的文档、索引、联邦、访问密钥和分析数据。通过 MCP 客户端(如 Claude Desktop),用户可以用自然语言执行管理操作,例如设置搜索索引、访问密钥、导入文档、查看分析和搜索索引等。该服务器包含三类工具:引擎 API 工具、导入工具和应用生成工具。导入工具支持从本地 JSON 文件或 URL 分析数据结构、生成 Searchcraft 模式、创建索引并导入文档,也可通过 create_index_from_json 一步完成。应用生成工具可从 JSON 数据创建完整的 Vite + React 搜索应用,自动分析数据、生成模板、克隆模板、安装依赖、配置环境并定制结果组件。安装需 Node.js 和 Yarn,支持 Claude Desktop(stdio)、Claude Code、Open WebUI(通过 Pipelines)、HTTP 服务器和 Docker 等多种部署方式。使用需配置环境变量,如 ENDPOINT_URL 和 CORE_API_KEY。注意:若使用写密钥,MCP 服务器不应公开暴露于互联网。
SearchFetch 是一个容错、具备隐身能力的模型上下文协议(MCP)服务器,用于网页搜索和内容抓取。它面向 AI 智能体(如 Cursor、Claude Code、OpenCode)设计,通过浏览器渲染页面并将内容转换为 Markdown。主要特性包括:使用 CloakBrowser 运行 Chromium 并模拟人类交互;具备容错机制,可重连断开的浏览器、重试网络故障和 HTTP 429 一次,并阻止模板选定的资源类型;输出经过令牌优化,在 Markdown 转换前剥离 base64 图片、SVG、脚本和内联样式;支持 Python(uvx,Python 3.10+)和 Node.js(npx,Node 24+)双运行时;提供模板驱动的结构化提取,内置 GitHub、npm、PyPI、crates.io、文档页面、Docker Hub 等模板,并支持自定义内联模板。
SearchGPT 是 Owens Laboratories 于 2023 年推出的工具,主要提供“电子表格生成器”(Spreadsheet Generator)功能。用户可以在页面输入提示词(prompt),点击生成按钮后,系统会根据给定指令创建电子表格;较复杂的表格生成可能需要最多一分钟。页面还提示“Stay up to date”,表明后续可能推出更多 AI 服务,但具体服务内容、收费方式及可用范围暂未提供。
Searchgptool 是一款免费的 AI 驱动搜索工具,据资料介绍具备高级功能,可提供准确且个性化的搜索结果。目前除上述简要说明外,关于其具体功能、使用方式、平台支持与限制等信息暂未提供。
Searchmetrics 是面向企业的 AEO(答案引擎优化)与 SEO 智能平台,宣称覆盖 AI 可见性追踪、内容生成、网站实时健康监测等完整 AEO 生命周期。可追踪品牌在 ChatGPT、Gemini、Copilot、Claude 及传统搜索中的曝光,并将可见度与流量、转化、收入关联;提供 24/7 监控 AI 爬虫抓取、实时告警与修复优先级,以及 LLM 应用、开发者工具和开箱即用的智能体工作流。
SearchMyDocs.ai 是一款基于文档的 AI 搜索与问答工具,能将 PDF、政策文件、知识库等文档转化为可对话的 AI 智能体,提供带有来源引用的即时答案,旨在服务支持、销售与运营团队。它支持多文档聊天,提供免费永久计划,无需信用卡,宣称可在 5 分钟内完成设置。
AI驱动的电子书和文档搜索引擎
Searchpin 是面向 AI 智能体的自托管联网搜索服务,多引擎并行、语义重排、零 API Key,适配中国网络环境,无需代理或 VPN。
Searchsite 是一款面向网站的 AI 搜索集成工具,提供语义搜索与全文搜索能力,帮助网站访客更高效地查找站内信息。用户可将该搜索功能集成到自己的网站中,通过语义理解补充传统关键词全文检索的不足。目前暂未提供关于具体功能细节、使用方式、收费模式及适用平台的更多资料。
SearchSpot 是一款 AI 旅行规划工具,帮助用户比较目的地、航班、住宿、餐厅、本地交通及团体出行的取舍,减少多标签页切换。它从 20 多个平台抓取信息,提供实时价格与可用性对比、透明推荐理由、协作投票、日历与地图集成、智能重新规划等功能。官方称对所有用户永久免费,仅通过自愿预订的联盟佣金盈利,并支持多语言。
SearchUnify 是一个面向企业的统一认知平台,主打企业搜索与 AI 客服支持。它提供用于客户服务的 AI 智能体,可解答客户问题、起草回复、路由工单、标记升级并审计案例。其核心原则是“无来源,不行动”:每个回答、草稿、路由和评分都先检索、引用并记录,找不到可靠来源时转交人工或下一个智能体。平台可连接 Salesforce、ServiceNow、Zendesk、Slack、Khoros 等 40 多个系统及 MCP,无需知识迁移,合规方面支持 SOC 2 Type II、ISO 27001、HIPAA。
searxng-mcp-server 是一个面向 MCP 客户端的自托管 SearXNG 元搜索引擎服务端。它通过连接你自己部署的 SearXNG 实例,为 MCP 客户端提供九类工具:网页搜索、图片搜索、新闻搜索、视频搜索、音乐搜索、论文搜索、查询建议(自动补全)、网页内容抓取以及实例信息查询。该服务无需 API 密钥、不向第三方发送数据、运行成本为零,并且不做查询跟踪。其中网页抓取工具专门针对安全做了加固:对每一次重定向跳转都进行 SSRF 与 DNS 重绑定防护,并对所有网页输出进行提示注入包裹(prompt-injection wrapping),把返回内容标注为不可信数据。服务通过 stdio(默认)或可选的 Streamable HTTP 与 MCP 客户端通信,底层依赖 Node >= 22.19 以及用于 SearXNG 栈的 Docker。仓库同时提供 docker-compose.yml,默认仅绑定 127.0.0.1 并启用 JSON API。
一个自包含的 SearXNG MCP 服务器,将注重隐私的元搜索引擎 SearXNG 封装为 MCP 服务。它可聚合 200 多个搜索引擎的结果,覆盖 30 多个类别,支持多页扇出(每次最多 5 页)、自动补全建议和按类别分组的引擎发现。提供 HTTP 服务器、Docker stdio 与 uvx 独立三种传输模式,内置认证(x-api-key 与 HTTP Basic Auth)以及 SearXNG Web UI 反向代理。还提供 Claude Code、GitHub Copilot CLI、Codex CLI 的插件,包含搜索技能、研究子代理和多语言并行搜索等能力。项目基于 MIT 许可,SearXNG 本身采用 AGPL-3.0-or-later。
SeaVerse 是一个可玩 AI 体验平台,用户可以在其中发现、游玩和分享由社区创作的互动游戏、角色聊天和交互式应用。平台也支持创作者用自然语言提示词(prompt)快速生成游戏、聊天体验或应用,并发布为可即时打开和分享的链接,无需传统编程流程。
Seaworthy Insurance MCP Server 是由独立保险经纪公司 Seaworthy Insurance 提供的开放 Model Context Protocol(MCP)服务器,专注于个人残疾保险(disability insurance)。它允许 AI 智能体代表用户执行报价请求(quote_request),并提供保险公司与保障范围的研究工具。该服务器通过 Streamable HTTP 传输,无需认证,写入操作在服务端通过输入验证、按 IP 限流和重复抑制进行保护。用户可在任何支持 MCP 的客户端(如 Cloudflare AI Playground、Claude Desktop、MCP Inspector 或自定义连接器)中添加 https://mcp.seaworthy.io/mcp 作为 MCP 服务器,然后请求获取残疾保险报价。quote_request 需要提供姓名、邮箱、电话、职业、州、出生日期、性别、年收入等必填信息,可选提供人寿保险意向、备注和推荐来源。调用前智能体必须确认用户同意被联系。该工具不收集 SSN、病史和银行信息。
SECfinAPI 的 MCP 服务器,为 Claude、Cursor 等 AI 助手提供标准化的 SEC EDGAR 财务数据。它可让 AI 助手直接查询美国上市公司的利润表、资产负债表、现金流量表以及 40 多项财务比率,数据基于 XBRL 标准化处理。用户可在 AI 助手中提问如“苹果公司的营收趋势如何?”或“比较 MSFT 和 GOOGL 的营业利润率”,服务器会通过 SECfinAPI 实时获取数据。该服务在本地运行,是 SECfinAPI REST API 的轻量封装,无需托管服务器,也无额外费用。使用需在 SECfinAPI 官网获取免费 API 密钥,并将服务器添加到 AI 助手的 MCP 配置中。
secobserve-mcp 是一个将 SecObserve REST API 通过 Model Context Protocol(MCP)暴露给 LLM 智能体的 MCP 服务器。它让智能体能够浏览和分类安全观察项(observations)、管理产品、分支与规则、导入扫描报告和 SBOM、运行扫描与后台任务,以及生成 VEX 文档。服务器默认使用 stdio 传输,并已列入官方 MCP Registry(io.github.nh4ttruong/secobserve-mcp)。它只提供 18 个工具,而非为每个端点注册一个工具;另提供 6 个提示词,用于多步调用流程。可通过 uvx 免安装运行,也支持容器部署,但共享身份模式下强制只读。凭据从环境变量读取,删除默认禁用,上传与导出路径受限,所有工具调用会在 stderr 写入审计日志。
Sbl.so 是 Second Brain Labs 推出的自主 AI SDR(销售开发代表)工具,专注于 LinkedIn 和 WhatsApp 等消息平台上的外呼销售自动化。它能自动寻找高意向潜在客户、运行个性化外联、跟进对话并直接预约会议,帮助企业无需招聘销售团队即可规模化获取销售线索。官方称已有 5000+ 团队使用,平台累计发送超 5000 万条消息、0 账号封禁,预约会议率可达 15%–25%,起价 $99/月,提供 7 天免费试用。
Second Brain AI Agent 是一个基于 LangChain 和 ChromaDB 构建的个人知识管理 AI 智能体项目,灵感来自 Tiago Forte 的 Second Brain 概念。它能自动索引 Markdown 笔记及其中的链接内容(本地/远程 PDF、网页、YouTube 视频、文件 URL),并通过 MCP(Model Context Protocol)服务器提供语义检索能力,让用户可以用自然语言向自己的笔记提问。支持自动处理文件变更、按领域(domain)分类文档、提取历史记录等,适用于专业人士、学生、研究者和创意工作者。
secondhand-mcp 是一个基于 Model Context Protocol(MCP)的服务器,让 AI 助手能够搜索二手交易市场。它支持在 Facebook Marketplace、eBay、Depop 和 Poshmark 上查找二手商品,可按价格、类别、成色、尺码和颜色等条件筛选,并获取包含照片、描述和卖家信息的完整商品详情。该项目可在本地运行,兼容 Claude Desktop、Claude Code、Cursor 等支持本地 MCP 服务器的客户端,不适用于 ChatGPT。eBay 使用官方 Browse API,需申请免费开发者密钥;Depop 和 Poshmark 依赖无头浏览器(需已安装 Chrome 或 Chromium)。各市场均可选,缺少条件时会自动停用而其余功能照常工作。
Secret Sauce 3D 是一款面向专业 3D 艺术家的 AI 辅助工具,由 3D 艺术家团队打造,旨在加速 3D 制作流程。它能将 2D 概念图或图像快速生成 3D 模型原型,并支持自动重拓扑、自动与自定义 UV 展开、顶点绘色分件、纹理生成、基于文本提示的模型编辑等功能。用户可通过聊天式界面用提示词描述修改需求,并一键将资产导入 Blender,导出 FBX、OBJ、GLB、Blend 等格式。适用于游戏、影视、电商等领域的道具、角色、产品模型快速迭代与优化。提供 3 天免费试用,付费方案包含积分、Blender 插件、商业授权等。
secretctl 是一款面向 AI 场景的本地优先密钥管理工具,提供单文件 CLI 与桌面应用,并集成 MCP。它通过将密钥作为环境变量注入命令,让 AI 代理只看到命令结果而看不到明文密钥,同时对命令输出进行脱敏处理。
Section 是一家面向企业团队的 AI 转型服务提供商,通过战略规划、高管与员工培训认证、工作流重新设计,帮助企业将 AI 投入转化为可衡量的行为改变与业务回报。其核心主张是:多数企业 AI 支出集中在工具和基础设施上,真正产生业务影响需要投资于“转型层”,即工作方式实际发生改变的地方。Section 提供 AI 成熟度诊断、领导层对齐、个性化 AI 辅导、ROI 追踪以及智能体与自动化机会识别等服务,并配有统一的平台来管理和衡量 AI 转型的每一步。
Section 是一个面向企业团队的 AI 转型平台,通过高管对齐、员工 AI 辅导、认证和战略规划,将 AI 投资转化为可衡量的行为改变与业务回报。它提供转型规划、领导力工作坊、代理与自动化机会识别,以及一个用于管理 AI 转型全流程的代理式平台。