标签：逻辑推理

一个自包含的一阶逻辑推理服务器，支持定理证明、模型查找和反例检测等功能，适用于逻辑推理和数学验证场景。

MCP-RoCQ是一个通过集成Coq证明助手提供高级逻辑推理能力的服务器，支持自动化依赖类型检查、归纳类型定义和属性证明。

一个基于SWI-Prolog的调试和诊断推理引擎，用于解析错误和症状，通过逻辑推理找到根本原因。

一个结合大型语言模型（LLMs）和形式化定理证明能力的强大逻辑推理系统，用于自动推理和逻辑验证。

提供情感分析、逻辑推理、验证和认知治理等认知AI工具的模型上下文协议（MCP）服务器。

一个自进化的通用问题解决代理系统，具备逻辑推理、伦理框架、序列思考和元框架等核心组件，适用于科学研究、医学分析、哲学探索和软件开发等多个领域。