Instructions file CodexOpenCode
AGENTS.md instructions for Euclid-BG/Euclid-MCP, covering euclid-mcp — agent guide, workflow, tools, reason and explain.
4 6d ago A 2,369 tokens
original Apache-2.0
euclid-mcp
02MCP server Claude CodeCodexCursor +2
MCP server for deterministic logical reasoning via Prolog — transforms facts into formal proofs. Runs locally from the euclid-mcp Python package.
4 6d ago A
tokens not measured
original Apache-2.0