mcp-logic
★ 43
vs
semble
★ 4.5k
mcp-logic vs semble
mcp-logic：MCP-Logic是一个使用Prover9和Mace4进行自动化一阶逻辑推理的MCP服务器。它提供定理证明、模型发现、反例生成、语法验证、范畴推理、命题偶然性检查和溯因推理。所有依赖项自动安装。；semble：Semble 是一个专为 AI 智能体设计的高性能代码搜索库，能够即时提供精确的代码片段。与基于 Transformer 的模型相比，它在索引和查询速度上显著更快，同时能达到 99% 的检索质量，并且完全在 CPU 上运行，无需外部依赖。
01
简评
选 mcp-logic 如果…证明逻辑定理，例如：'所有x（人(x)→有死(x)），苏格拉底是人 ⊢ 苏格拉底有死'
选 semble 如果…通过快速准确的代码搜索能力增强 AI 智能体（如 Claude Code, Cursor, Codex）
02
并排对比
03
功能特性
mcp-logic01使用Prover9进行定理证明
02使用Mace4进行模型发现
03反例查找
04语法验证，带有详细的错误信息
05基于变分自由能的溯因推理
semble01在 CPU 上实现快速性能（索引约 250 毫秒，查询约 1.5 毫秒）
02高准确性（NDCG@10 达 0.854），媲美 Transformer 模型
03支持索引本地路径和远程 Git 仓库
04可作为 MCP 服务器供各种 AI 智能体使用
05零配置，无需 API 密钥、GPU 或外部服务
04
使用场景
mcp-logic↳证明逻辑定理，例如：'所有x（人(x)→有死(x)），苏格拉底是人 ⊢ 苏格拉底有死'
↳分析命题的偶然性，例如：'(p→q)∨(q→p)'是重言式
↳发现反例，例如：从前提出'P(a)'和结论'P(b)'，证明结论不成立
semble↳通过快速准确的代码搜索能力增强 AI 智能体（如 Claude Code, Cursor, Codex）
↳根据自然语言或代码查询，在本地或远程代码库中搜索特定的代码片段
↳根据给定的文件路径和行号，查找语义相似的代码段
05
适合场景
mcp-logic时下流行可观测性
semble代码助手RAG / 知识库
FAQ
常见问题
mcp-logic 和 semble 有什么区别？
mcp-logic 和 semble 都属于 Dev Tooling 类别。mcp-logic 有 43 Stars，semble 有 4.5k Stars。
mcp-logic 和 semble 哪个更好？
最佳选择取决于你的具体需求。证明逻辑定理，例如：'所有x（人(x)→有死(x)），苏格拉底是人 ⊢ 苏格拉底有死' 时选 mcp-logic，通过快速准确的代码搜索能力增强 AI 智能体（如 Claude Code, Cursor, Codex） 时选 semble。
mcp-logic 是免费的吗？
是的，mcp-logic 在 GitHub 开源（MIT）。
semble 是免费的吗？
是的，semble 在 GitHub 开源（MIT）。
→