snegi26/euclidMCPPaper — MCP servers

0Stars on the repository

2Mods indexed here, across every type

1mo agoLast push, which is what freshness is scored on

MITLicence, which decides whether bodies are shown

MCP server Claude CodeCodexCursor

MCP server for deterministic logical reasoning via Prolog — transforms facts into formal proofs. Runs locally from the euclid-mcp Python package.

0 1mo ago A tokens not measured original MIT