Search for a command to run...
1 MCPs · 0 installs total
MCP server for logical reasoning that turns facts into formal proofs using a deterministic inference engine with Prolog.
Unyly