N/A
io.github.meob/euclid-mcp
Deterministic logical reasoning engine — facts in Euclid IR, solutions with proof trees
Scan Scheduled
This agent is queued for security scanning. It will be graded in the next scan batch.
What We Know
- URL https://github.com/meo/euclid-mcp
- Framework mcp
- Sources mcp_registry
- First Seen Jul 18, 2026
- Repository github.com/meo/euclid-mcp
Browse more:
Search all agents
Ecosystem Report