How do I connect MCP Logic MCP Server to Claude?

The listing records `uv pip install --directory . "huggingface-hub>=0.24.0"` as its setup step. Run it, then follow the repository's instructions for the client configuration; the listing names Claude Desktop as compatible clients.

Is MCP Logic MCP Server free?

The listed licence is MIT. Check the upstream terms for permitted use and commercial requirements; a public repository does not by itself mean the software is free or open source. Connected APIs and hosted services may have separate charges.

What can MCP Logic MCP Server do?

MCP Logic MCP Server documents 8 tools to the agent, including abductive_explain, check_contingency, check_well_formed. The descriptions above come from project documentation. A live handshake does not test individual tool behavior.

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"

Set up this server

Compare servers My Stack

This server needs project-specific setup. Follow the project instructions; no reusable public launch command is available yet.

Project instructions

aiclaude-3-5-sonnetllmlogicmcp-serverservertool

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

Security profile

Claimed and verified servers get a weekly static scan that shows what the code can reach: external services, environment variables, shell commands, agent configuration folders, plus any dependencies with known advisories. Claim this listing to get one. How the security profile works

8 of 8 tools

Documented tools (8)

From project documentation. A server handshake does not verify each tool’s description or behavior.

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

Tool change history

Compared across complete checks of the same configuration. Tools were listed, not invoked. Input-schema changes are not measured here.

No complete tool checks yet.

FAQ

Questions about MCP Logic MCP Server

How do I connect MCP Logic MCP Server to Claude?: The listing records `uv pip install --directory . "huggingface-hub>=0.24.0"` as its setup step. Run it, then follow the repository's instructions for the client configuration; the listing names Claude Desktop as compatible clients.
Is MCP Logic MCP Server free?: The listed licence is MIT. Check the upstream terms for permitted use and commercial requirements; a public repository does not by itself mean the software is free or open source. Connected APIs and hosted services may have separate charges.
What can MCP Logic MCP Server do?: MCP Logic MCP Server documents 8 tools to the agent, including abductive_explain, check_contingency, check_well_formed. The descriptions above come from project documentation. A live handshake does not test individual tool behavior.