MCP servers
Euclid-MCP
Deterministic logical reasoning engine — facts in Euclid IR, solutions with proof trees
Remotes
This server publishes no hosted endpoint. Run one of its packages locally.
Packages
euclid-mcp · pypi 0.4.5 · stdio
claude mcp add --transport stdio euclid-mcp -- uvx euclid-mcp==0.4.5Server details
- Registry name
- io.github.meob/euclid-mcp
- Version
- 0.4.5
- Registry status
- active
- Repository
