{"id":2940,"slug":"angrysky56/mcp-logic","name":"MCP-Logic","description":"Provides automated reasoning for AI systems using the Prover9 and Mace4 theorem provers.","category":"development","github":"https://github.com/angrysky56/mcp-logic","homepage":"","server_url":"","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","official":false,"stars":43,"status":"active","source":"mcpservers.org","created_at":"2026-05-25T09:33:44.043359+00:00","updated_at":"2026-05-28T07:19:09.738335+00:00","tags":[],"path":"mcp-logic"}