标签搜索结果
Thoughtful Claude DeepSeek Reasoner 是一个 MCP 服务器，通过集成 DeepSeek R1 推理引擎，为 Claude 提供强大的外部推理能力。
RoCQ是一个MCP服务器，通过集成Coq证明助手，为LLM提供逻辑推理能力，支持类型检查、归纳类型定义和属性证明等功能。
MCP-Logic是一个MCP服务器，它利用Prover9/Mace4提供自动推理能力，支持逻辑定理证明和语法验证，为AI系统提供形式化逻辑支持。