Search for a command to run...
loading…
2 MCPs · 0 installs total
An MCP server for the Pyke logic programming engine that enables LLMs to perform logical reasoning using knowledge bases with facts, rules, and queries. It supp
Enables constraint solving, logical reasoning, and satisfiability checking using the Z3 theorem prover via natural language.
