euclid-mcp
MCP server for logical reasoning that turns facts into formal proofs using a deterministic inference engine with Prolog.
- Score
- 43.2751 signal
- Evidence
- 4 stars
- Last commit
- as last read from GitHub; most reads are from 2 Sep 2026 or later
- Listed
Install
No one-command install. Set it up from its source.
Alternatives · MCPs
- angrysky56-logic46 stars · 10 forks85.517
- chimera-protocol-csl-core16 stars · 12 forks80.448
- snoglobe-prolog23 stars · 8 forks79.636
What it is
MCP server for logical reasoning that turns facts into formal proofs using a deterministic inference engine with Prolog.
When to use it
MCP server for logical reasoning that turns facts into formal proofs using a deterministic inference engine with Prolog.
How to install / invoke
See Glama for the install config.
Notes
Listed from the Glama MCP registry.