snegi26

snegi26/euclidMCPPaper

Instructions file

Claude Code instructions for snegi26/euclidMCPPaper, covering claude.md — euclid-mcp project conventions, golden rules, language & style (python), mcp conventions (from mcp best practices) and safety (non-negotiable — see specs/01 §sanitization).

snegi26/euclidMCPPaper

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.