mcp-logic

angrysky56/mcp-logic

★ 44 stars Python AI/LLM Updated today

Fully functional AI Logic Calculator utilizing Prover9/Mace4 via Python based Model Context Protocol (MCP-Server)- tool for Windows, Linux, Claude App etc

View on GitHub → 🔍 Audit Wallet Slippage →

Quick Install

Copy the config for your editor. Some servers may need additional setup — check the README.

Add to claude_desktop_config.json:

{
  "mcpServers": {
    "mcp-logic": {
      "command": "uvx",
      "args": [
        "mcp-logic"
      ]
    }
  }
}

Or install with pip: pip install mcp-logic

README Excerpt

An MCP server for automated first-order logic reasoning using Prover9 and Mace4. - **Theorem Proving** - Prove logical statements with Prover9 - **Model Finding** - Find finite models with Mace4 - **Counterexample Finding** - Show why statements don't follow - **Syntax Validation** - Pre-validate formulas with helpful error messages

Topics

aiclaude-3-5-sonnetllmlogicmcp-serverservertool

mcp-logic

Quick Install

README Excerpt

Topics

Related AI/LLM Servers