An MCP server for automated first-order logic reasoning using Prover9 and Mace4.
MCP Logic connects MCP Logic to AI assistants that speak the Model Context Protocol. An MCP server for automated first-order logic reasoning using Prover9 and Mace4.
An MCP server for automated first-order logic reasoning using Prover9 and Mace4.
prove — Prove statements using Prover9check-well-formed — Validate formula syntax with detailed errorsfind_model — Find finite models satisfying premisesfind_counterexample — Find counterexamples showing statements don't followverify_commutativity — Generate FOL for categorical diagram commutativityget_category_axioms — Get axioms for category/functor/group/monoidcheck_contingency — Check truth-functional contingency via HCC proverabductive_explain — Find the VFE-minimizing explanation for an observationCompare MCP servers by category, or browse hosted MCP servers if you prefer an endpoint over a local process.
Check the linked publisher documentation and your connected client's tool list. Names and availability can vary with the server version and account permissions.
| Tool | What it does |
|---|---|
| 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 |
{
"mcpServers": {
"mcp-logic": {
"command": "uv",
"args": [
"--directory",
"/absolute/path/to/mcp-logic",
"run",
"mcp_logic",
"--prover-path",
"/absolute/path/to/mcp-logic/ladr/bin"
]
}
}
}From the project documentation. Replace placeholders and example paths before connecting.
Access Stripe billing and payment tools through its MCP server. Connect with OAuth or a supported agent API key and choose the intended account.
Local repository surgery — status, diffs, commits, branches and history for any repo on disk.
Agent governance with A2A/Shopify/MCP trust audits, action screening, and decision UI.
Ireland payments for AI agents — cards / Apple Pay via Stripe. Never holds funds.
Invoicing, time tracking, and billing for freelancers and small firms, run in plain language.
17 market-data tools for AI agents: eBay sold prices, company KYC, SEC filings, patents, auctions