MCP Logic

Unclaimed

by angrysky56

Fully functional AI Logic Calculator utilizing Prover9/Mace4 via Python based Model Context Protocol (MCP-Server)- tool for Windows, Linux, Claude App etc

Install

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

Unclaimed listing

Is this your MCP server?

This listing was auto-indexed from the public record. Claim it to edit the page, set compatibility and unlock growth tools. Takes under two minutes.

Claim this server

Tools (8)

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

find_model

Find finite models satisfying premises

get_category_axioms

Get axioms for category/functor/group/monoid

prove

Prove statements using Prover9

verify_commutativity

Generate FOL for categorical diagram commutativity