MCP-Server
Euclid-MCP
io.github.meob/euclid-mcp
Was dieses MCP kann
Deterministic logical reasoning engine — facts in Euclid IR, solutions with proof trees
Funktionen
Tools
0
Tools
Tool-Metadaten sind nicht öffentlich verfügbar.
MCP Radar hat von diesem Server noch keine Tools abgerufen.