知识与记忆 MCP 服务
RAG、知识库、文档检索、记忆、语义搜索与上下文召回。

UNIDROIT Principles 2016
io.arxo官方发布者
把 UNIDROIT 2016 国际商事合同通则做成可执行规则:助手可检索形式化规则、提出封闭式法律问题并获得依据与原文,还能发布可验证的答案。

FIDE Laws of Chess
io.arxo官方发布者
2023 年国际象棋 FIDE 规则的 executable 模型:助手可提出裁判式问题,获得带证明与条文摘录的规则推导答案。

BGB (Germany)
io.arxo官方发布者
一个远程或本地运行的 MCP 服务器,通过执行形式化规则回答德国民法典(BGB)问题,并给出理由、来源与证明链。

Code civil (France)
io.arxo官方发布者
把法国民法典形式化为可执行规则,让助手按事实与法律日期提问,并获得可复现、带证明的答案。

French family benefits (CNAF corpus)
io.arxo官方发布者
一个 MCP 服务器,把法国家庭补助法呈现为可执行、可溯源到法条的模型,让助手检索规则、提问并追溯答案。

UN Charter 1945
io.arxo官方发布者
把 1945 年《联合国宪章》(含修正)做成可执行法律模型,让助手检索、查询并带证明地推理条文规则。
SkyOS
ink.skyos官方发布者
为 Claude、ChatGPT 或 Codex 提供主记忆:每个项目的精确、带日期的笔记。AI 翻译
Socials Homes Docs
homes.socials官方发布者
一个远程 MCP 端点,为助手提供 Socials Homes 的参考资料:价格、常见问题、条款摘要以及移居海外的住房指南。
Vedaword
com.vedaword官方发布者
梵语经典检索:Mahabharata、Upanishads、Gita;引用诗节,无答案时如实说明。AI 翻译
Lemma Park
com.lemmapark官方发布者
一个只读 MCP 服务器,提供 Lemma Park 的开放数学问题、Lean 定理尝试、已验证结果笔记,以及加入实验室的方式。

LearnOS
com.learnosapp官方发布者
托管式 LearnOS MCP 端点,让助手在任意 MCP 客户端中搜索课程、课时引用、闪卡和笔记。
Link Crypt
com.getlinkcrypt官方发布者
一个托管式 MCP 服务器,让 AI 助手搜索、保存、打标签、总结并整理 Link Crypt 书签库中的链接。

HKEx Filings
com.ascent-partners官方发布者
以只读方式访问港交所实时披露文件:按日期窗口检索、浏览分类统计,并下载文件提取正文与表格。
ESG Hub MCP Server
com.ascent-partners
把助手连接到 ESG Hub 百科,可检索、阅读并交叉引用 ESG 文章、术语表、框架与行业分类。
My AI Guide
co.myaiguide官方发布者
对 My AI Guide 目录的只读访问:搜索 AI 工具、仓库、插件、新闻、术语和指南,并获取其编辑页面内容。
Space Context
app.spacecontext官方发布者
远程 MCP 服务器,让助手读取你拍摄的 Space Context 空间,提供带引用的回答、扫描对比和照片证据。
khive
ai.khive官方发布者
Khive 是一个远程 MCP 服务器,为 AI 助手提供持久记忆、知识图谱和任务管理能力。
Cerebrum
org.askcerebrum官方发布者
Cerebrum 是一个远程 MCP 服务器,让助手检索科学文献并获得带引用的答案,还能获取每日科学头条摘要。
miow
me.miow官方发布者
在 miow.me 上托管小型企业网站,让助手创建站点、以数据形式撰写和编辑页面、导入现有网站并绑定域名。
HowToRomania
io.howtoromania官方发布者
面向罗马尼亚公司数据、RO e-Factura 发票和法规的远程 MCP 服务器,让助手查询企业、诉讼、风险和法条。

AEGIS Academic Integrity Checker
由 GitHub 账号 sunilgentyala 发布
本地优先的学术诚信检查器,让助手扫描论文中的虚构引用、抄袭、AI 生成文本和期刊格式合规问题。

SuperLocalMemory
由 GitHub 账号 qualixar 发布
本地优先的记忆服务器,让 AI 助手在你自己的电脑上保存、检索并治理事实、决策、文档和图片。

docling.rs
由 GitHub 账号 docling-project 发布
本地 MCP 服务器,把 PDF、Office 文件、HTML、扫描件和音频转换成 Markdown、docling JSON 和 RAG 分块,供助手读取。
Prompt Maker Studio
由 GitHub 账号 chrysogonus 发布
面向自托管提示词库的远程 MCP 服务器,让助手列出、获取、保存提示词模板并管理版本。