MCP逻辑求解器是一个结合大型语言模型与形式化定理证明能力的强大推理系统，支持自然语言和一阶逻辑输入，通过Prover9/Mace4进行自动验证，并提供结构化推理和解释。

MCP-RoCQ是一个基于Coq证明助手的逻辑推理服务器，提供类型检查、归纳类型定义和属性证明功能。

任务门户系统是一个自我演进的通用问题解决机构，具备逻辑推理、伦理框架、序列思考和元框架等核心组件，能够安全地自我进化并解决复杂问题。

MCP-Logic是一个基于MCP协议的逻辑推理服务器，为AI系统提供自动化定理证明和模型验证功能。

一个自包含的MCP服务器，用于一阶逻辑推理，支持定理证明、模型查找和反例检测，采用多引擎架构自动选择最佳推理引擎。

DeepSeek R1与Claude结合的认知架构项目，通过R1进行高级推理规划，Claude执行具体分析，实现多步骤逻辑推理和结构化思维处理。