euclid-mcp MCP Server
io.github.meob/euclid-mcp
Deterministic logical reasoning engine — facts in Euclid IR, solutions with proof trees
Could not be verified
This server declares a repository, but its source couldn't be retrieved (private, moved, or removed). Because we couldn't verify anything, it carries no security score.
Run it through Canopii Gateway — policy enforcement, audit trail, and per-user attribution on every call.
Versions
| Version | Score | Status | Published |
|---|---|---|---|
| v0.1.2latest | — | unverified | 7/13/2026 |