CanopiiCanopiiAll serversEnterprise →

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

VersionScoreStatus
v0.1.2latestunverified