N/A
meob/Euclid-MCP
MCP server for logical reasoning that turns facts into formal proofs using a deterministic inference engine with Prolog.
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/meob/Euclid-MCP
- Framework mcp
- Sources glama
- First Seen Jul 08, 2026
- Repository github.com/meob/Euclid-MCP
Browse more:
Search all agents
Ecosystem Report