check_contingency

MCP tool from MCP Logic by angrysky56

Check truth-functional contingency via HCC prover

How to use it

Project documentation lists check_contingency for the MCP Logic MCP server. Add the server to your MCP client (Claude Desktop, Cursor, Windsurf and others), then check which tools your installed version makes available. Tool availability can depend on configuration and credentials. A server handshake does not verify this tool’s behavior. See the full listing for setup details.

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_well_formed

Validate formula syntax with detailed errors

find_counterexample

Find counterexamples showing statements don't follow

find_model

Find finite models satisfying premises