MCP-Logic：基于Prover9/Mace4的AI逻辑计算器

MCP-Logic：基于Prover9/Mace4的AI逻辑计算器

一个功能齐全的AI逻辑计算器，通过Python实现模型上下文协议（MCP），利用Prover9/Mace4进行自动推理。

GitHub
Created Byangrysky56angrysky56

快速入门

安装依赖

  1. 确保安装了 Python 3.10+、Git 和 CMake。
  2. 克隆仓库： git clone https://github.com/angrysky56/mcp-logic cd mcp-logic

设置环境

  • Windows运行：windows-setup-mcp-logic.bat
  • Linux/macOS运行：chmod +x linux-setup-script.sh && ./linux-setup-script.sh

启动服务

  • 使用脚本启动：
    • Linux/macOS: ./run-mcp-logic.sh
    • Windows: run-mcp-logic.bat

示例

调用prove工具验证逻辑推理： { "tool": "prove", "arguments": { "premises": [ "all x (man(x) -> mortal(x))", "man(socrates)" ], "conclusion": "mortal(socrates)" } } 更多示例和文档见Documents目录。