← 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.4.5
- license
- Apache-2.0
- stars
- 6
- last commit
- 2026-08-24
- published
- 2026-08-21
last synced 2026-08-22