$ loading_
MCP server for logical reasoning that turns facts into formal proofs using a deterministic inference engine with Prolog.
Copy the install command and let the AI configure it · recommended for beginners
No copy-paste install info for "Euclid-MCP" yet — see the docs or source repo.