Euclid-MCP for Claude Code

io.github.meob/euclid-mcp

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

client:Claude Code transport:stdio runtime:pypi

Install Euclid-MCP in Claude Code

run in your project directory

claude mcp add euclid-mcp -- uvx euclid-mcp

Adds it for this project only. Append --scope user to make it available everywhere. Claude Code docs