{"slug":"angrysky56/mcp-logic","name":"MCP-Logic","description":"Provides automated reasoning for AI systems using the Prover9 and Mace4 theorem provers.","category":"development","tags":[],"official":false,"stars":43,"transport":"http","install":null,"tools":[{"name":"prove","description":"Prove statements using Prover9"},{"name":"check-well-formed","description":"Validate formula syntax with detailed errors"},{"name":"find_model","description":"Find finite models satisfying premises"},{"name":"find_counterexample","description":"Find counterexamples showing statements don't follow"},{"name":"verify_commutativity","description":"Generate FOL for categorical diagram commutativity"},{"name":"get_category_axioms","description":"Get axioms for category/functor/group/monoid"},{"name":"check_contingency","description":"Check truth-functional contingency via HCC prover"},{"name":"abductive_explain","description":"Find the VFE-minimizing explanation for an observation"}],"env_vars":[],"auth_type":"none","github":"https://github.com/angrysky56/mcp-logic","homepage":"","server_url":"","status":"active","source":"mcpservers.org","updated_at":"Thu May 28"}