MCPHUB LogoMCPHUB
Back to directory
angrysky56/mcp-logic

angrysky56/mcp-logic

@angrysky56

Fully functional AI Logic Calculator utilizing Prover9/Mace4 via Python based Model Context Protocol (MCP-Server) for theorem proving, model finding, and abductive reasoning

logicprover9mace4theorem-provingmodel-findingreasoningfirst-order-logicabductive-reasoningtool

Installation & Configuration

{
  "mcpServers": {
    "mcp-logic": {
      "command": "uv",
      "args": [
        "--directory",
        "/absolute/path/to/mcp-logic",
        "run",
        "python",
        "-m",
        "mcp_logic",
        "--prover-path",
        "/absolute/path/to/mcp-logic/ladr/bin"
      ]
    }
  }
}

Information

Transport
stdio
Language
Python
Created
2026/6/17
Updated
2026/6/17
Homepage
https://github.com/angrysky56/mcp-logic