mcp-logic

by angrysky56 · Python · ★ 43

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

#ai#claude-3-5-sonnet#llm#logic#mcp-server#server#tool

Install

pip install git+https://github.com/angrysky56/mcp-logic.git

Claude Desktop config

Add this to your claude_desktop_config.json:

{
  "mcpServers": {
    "mcp-logic": {
      "command": "uvx",
      "args": [
        "git+https://github.com/angrysky56/mcp-logic.git"
      ]
    }
  }
}

From the README

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 - **Categorical Reasoning** - Built-in support for category theory proofs - **Propositional Contingency** - Purely analytical HCC prover for fast propositional checks - **Abductive Reasoning** - Rank hypotheses using Variational Free Energy (VFE) - **Self-Containe…

Read full README on GitHub →

💡 Need a managed MCP host?

Try Claude Pro for the smoothest MCP experience, or browse our cloud-hosted servers.

Related developer tools servers

everything-claude-code

affaan-m

★ 170,676

The agent harness performance optimization system. Skills, instincts, memory, security, and research-first development for Claude Code, Codex, Opencode, Cursor and beyond.

Developer Tools · JavaScript