LocalFree

Euclid MCP server

meob/Euclid-MCP

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

Install Euclid in Claude Code

Claude Code
claude mcp add euclid -- uvx euclid-mcp
mcp.json (Claude Desktop, Cursor, VS Code, Windsurf)
{
  "mcpServers": {
    "euclid": {
      "command": "uvx",
      "args": [
        "euclid-mcp"
      ]
    }
  }
}

Frequently asked questions

What does the Euclid MCP server do?

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

Is the Euclid MCP server free?

Yes, most likely. Open source and no paid account or API key is mentioned in the listing. Check the provider for current pricing.

Does Euclid run locally or remotely?

Local. Runs on your machine (stdio). You install it with npx, uvx, Docker or from source.

How do I add Euclid to Claude Code?

Run: claude mcp add euclid -- uvx euclid-mcp

More other tools & integrations MCP servers

View all