察元AI能力广场 · MCP 服务器

chiasmus

Stars 218 · 作者 yogthos

让语言模型访问形式化验证的MCP服务器。

智能体编排 MCP 协议

同类MCP 服务器推荐

pdf-mcp — MCP服务器，为PDF提供混合检索、OCR及图表解析等RAG功能
rea — 使用智能体逆向工程任何目标，从应用行为到原生二进制文件。
n8n — 拥有原生AI能力的公平代码工作流自动化平台，支持400多种集成与自托管。
markitdown —
gemini-cli — 将Gemini大模型能力直接引入终端的开源AI代理工具。
servers —
storybook —
Scrapling — 自适应网页爬虫框架，支持从单次请求到大规模爬取

浏览全部MCP 服务器 · 返回察元AI首页

察元AI — 智能体门户 · 产品家族下载 · 能力广场察元AI是智能体门户:产品家族包括察元桌面(插件化 AI 智能体工作站,内置 dsh 智能体运行时与应用商店)、察元办公(开源 AI Office:文档/表格/幻灯/PDF,本地转换不离线数据)、察元AI文档助手(WPS 加载项,4500+ 内置助手,MCP 文档智能体服务可被 Claude Code/Codex/Cursor 调用)与察元机器人;能力广场一站检索 10 万+ Harness 插件、Skills 技能、MCP 服务器、提示词、智能体应用、大模型目录与排行榜、模型厂商与全球模型活动资讯,支持搜索、复制安装命令、一键下载。

产品家族:察元桌面 / 察元办公 / 察元AI文档助手(WPS 加载项) / 察元机器人 —— 政企可私有化部署,适配麒麟/UOS

能力广场板块:Harness 插件、Skills 技能、MCP 服务器、提示词、智能体应用、大模型、模型厂商、资讯,附开源排行榜(日/周/月榜)、技能包与模型活动