How do I install mcp-logic?

Its README did not state an install command plainly enough for us to quote one, so we do not guess. The repository has the instructions: https://github.com/angrysky56/mcp-logic

Is mcp-logic official and is it maintained?

We found nothing naming it as a vendor’s official server. Its repository has 47 GitHub stars and its state in our directory is listed. Its last commit we recorded was on 2026-08-15.

What licence does mcp-logic use?

The repository declares the MIT licence.

InfratoApp / Resources / MCP servers / mcp-logic

mcp-logic

mcp-logic is an MCP server. Its repository has 47 GitHub stars and is licensed under MIT; we last read it on 2026-10-22.

This software provides an AI Logic Calculator that interfaces with Prover9/Mace4 through a Python-based Model Context Protocol (MCP-Server), compatible with Windows, Linux, and Claude App.

Install

MCP servers are packaged differently from each other -- some run via npx, some as a Docker image, some as a plain script you clone and run. mcp-logic’s own README did not state one plainly enough for this page to quote it rather than guess, so it will not guess. The repository below states it.

Read mcp-logic’s own install instructions ↗

What it reaches, and what it needs

Reaches

○ not recognised

Credential

○ none found

Maintenance

Stars

State

listed

Licence

MIT

From the repository

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

View on GitHub ↗2026-10-22

What mcp-logic can do

9 tools documented in its README. An AI client calls these by name.

ask_logic_advisor: Solve logic problems in plain English (end-to-end)
prove: Prove statements using Prover9
check_well_formed: Validate formula syntax with detailed errors
find_model: Find finite models satisfying premises
find_counterexample: Find counterexamples showing statements don't follow
verify_commutativity: Generate FOL for categorical diagram commutativity
get_category_axioms: Get axioms for category/functor/group/monoid
check_contingency: Check truth-functional contingency via HCC prover
run_mcp_logic: Run the server directly (Linux/macOS)

Read from the README; names are kept only if the README contains them.

Common questions about mcp-logic

What does mcp-logic do?: This software provides an AI Logic Calculator that interfaces with Prover9/Mace4 through a Python-based Model Context Protocol (MCP-Server), compatible with Windows, Linux, and Claude App.
How do I install mcp-logic?: Its README did not state an install command plainly enough for us to quote one, so we do not guess. The repository has the instructions: https://github.com/angrysky56/mcp-logic
Is mcp-logic official and is it maintained?: We found nothing naming it as a vendor’s official server. Its repository has 47 GitHub stars and its state in our directory is listed. Its last commit we recorded was on 2026-08-15.
What licence does mcp-logic use?: The repository declares the MIT licence.