$ loading_
Deterministic logical reasoning engine — facts in Euclid IR, solutions with proof trees
Copy the install command and let the AI configure it · recommended for beginners
Please install the "Euclid-MCP" MCP server from askskill: Run: claude mcp add 'io-github-meob-euclid-mcp' -- uvx euclid-mcp