abductive_explain

MCP tool from MCP Logic by angrysky56

Find the VFE-minimizing explanation for an observation

How to use it

Project documentation lists abductive_explain 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)

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

find_model

Find finite models satisfying premises