Euclid-MCP

Official

by meob

Deterministic logical reasoning engine — facts in Euclid IR, solutions with proof trees

Install

claude_desktop_config.json

json

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