MCP-Logic
JSON →Provides automated reasoning for AI systems using the Prover9 and Mace4 theorem provers.
Tools · 8
- prove Prove statements using Prover9
- check-well-formed Validate formula syntax with detailed errors
- find_model Find finite models satisfying premises
- find_counterexample Find counterexamples showing statements don't follow
- verify_commutativity Generate FOL for categorical diagram commutativity
- get_category_axioms Get axioms for category/functor/group/monoid
- check_contingency Check truth-functional contingency via HCC prover
- abductive_explain Find the VFE-minimizing explanation for an observation
Links
★ 43 GitHub stars