← all MCP servers

Euclid-MCP

io.github.meob/euclid-mcp

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

install

pypi · stdio
uvx euclid-mcp

details

version: 0.1.2
published: 2026-07-13

https://github.com/meo/euclid-mcp

last synced 2026-07-29