Euclid-MCP

io.github.meob/euclid-mcp

95

security score

Deterministic logical reasoning engine — facts in Euclid IR, solutions with proof trees

1.8

MaintainedVerified

GitHub stars

6

Last commit

2 weeks ago

Transport

stdio

Security scan

Last scanned 21 hours ago — static analysis of the published manifest.

lowManifest makes network requests.