MCP MCP server · io.github.meob
io.github.meob/euclid-mcp
Deterministic logical reasoning engine — facts in Euclid IR, solutions with proof trees
- host stars
- 6
- 30-day movement
- starts with the next reading
- Related entries
- 27
- Connections
- 8
pypilocalstdio
- Runs
- installed — on your machine
- Transport
- stdio
- Tools
- 8
- Packaged as
- pypi:euclid-mcp
- Install
- uvx euclid-mcp
- Version
- 0.4.5
- Last release
- 2026-08-21