get_category_axioms

MCP tool from MCP Logic by angrysky56

Get axioms for category/functor/group/monoid

How to use it

get_category_axioms is exposed by the MCP Logic MCP server. Add the server to your MCP client (Claude Desktop, Cursor, Windsurf and others), and the get_category_axioms 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