io.github.meob/euclid-mcpMCP Registry
Euclid-MCP
v0.4.5Deterministic logical reasoning engine — facts in Euclid IR, solutions with proof trees
Endpoint health
unknown- Last checked
- No observation yet
- Latency
- Unknown
- Consecutive failures
- 0
Machine-readable profile
mcp-server · schema v1 · package or metadata only
mcp-server:io.github.meob%2Feuclid-mcp