Fleebs-Logo
Details werden geladen...

euclid-mcp · PyPI

MCP server for deterministic logical reasoning via Prolog — transforms facts into formal proofs