prove

MCP tool from MCP Logic by angrysky56

Prove statements using Prover9

How to use it

prove is exposed by the MCP Logic MCP server. Add the server to your MCP client (Claude Desktop, Cursor, Windsurf and others), and the prove tool becomes available to the model automatically. See the full listing for setup details and every tool this server provides.

Install MCP Logic

$uv pip install --directory . "huggingface-hub>=0.24.0"

FULL MCP LOGIC LISTING

Other tools in MCP Logic (7)

abductive_explain

Find the VFE-minimizing explanation for an observation

check_contingency

Check truth-functional contingency via HCC prover

check_well_formed

Validate formula syntax with detailed errors

find_counterexample

Find counterexamples showing statements don't follow