Euclid-MCP

meob/Euclid-MCP

★ 3 stars Python AI/LLM Updated today

Euclid-MCP server for logical reasoning: turns facts into formal proofs. Euclid-MCP is a hybrid cognitive architecture: a lightweight LLM describes the world in facts, and a deterministic engine performs the actual deduction. The LLM never needs to reason — it only needs to describe.

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": {
    "euclid-mcp": {
      "command": "uvx",
      "args": [
        "euclid-mcp"
      ]
    }
  }
}

Or install with pip: pip install euclid-mcp

README Excerpt

**MCP server for logical reasoning** — turns facts into formal proofs.  Euclid-MCP is a hybrid cognitive architecture: a lightweight LLM describes the world in facts, and a deterministic engine performs the actual deduction. The LLM never needs to reason — it only needs to describe.

Tools (14)

ANDNOTbase_knowledgecheck_kbdiagnoseknowledgemax_depthmax_solutionsmodemodificationsqueryreasonwhat_ifwhy

Euclid-MCP

Quick Install

README Excerpt

Tools (14)

Related AI/LLM Servers