Atlas / MCP servers / angrysky56 / Mcp Logic

Mcp LogicBLOCK

Name: Mcp Logic
Author: angrysky56

mcp/angrysky56/mcp-logic

MCP server by angrysky56 · ai · claude 3 5 sonnet · llm · Audited 2026-10-08

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

Verdict

BLOCK

Grade

Trust score

60 /100

Exposed tools

4 4r · 0w · 0d

Transport

stdio

License

MIT

Stars

Overview

From the repository's own README, as read at the audited commit. Badges and raw HTML are left out.

[](https://github.com/angrysky56/mcp-logic/actions/workflows/ci.yml)

An MCP server for automated first-order logic reasoning using Prover9, Mace4, and an onboard reasoning LLM.

Features

Theorem Proving - Prove logical statements with Prover9
Model Finding - Find finite models with Mace4
Counterexample Finding - Show why statements don't follow
Syntax Validation - Pre-validate formulas with helpful error messages
Categorical Reasoning - Built-in support for category theory proofs
Propositional Contingency - Purely analytical HCC prover for fast propositional checks
Abductive Reasoning - Rank hypotheses using Variational Free Energy (VFE)
🤖 Logic Advisor (NEW) - Onboard TwIL-LM3 reasoning LLM that solves logic problems end-to-end: just ask a question in plain English
Self-Contained - All dependencies install automatically

Quick Start

Installation

Linux/macOS:

git clone https://github.com/angrysky56/mcp-logic
cd mcp-logic
./linux-setup-script.sh

Windows:

git clone https://github.com/angrysky56/mcp-logic
cd mcp-logic
windows-setup-mcp-logic.bat

The setup script automatically:

Downloads and builds LADR (Prover9 + Mace4)
Creates Python virtual environment
Installs all dependencies
Generates Claude Desktop config

Enable the Logic Advisor (Optional)

The onboard logic advisor uses a local 3B-parameter LLM (TwIL-LM3 Q8) to solve logic problems end-to-end. Run the setup script to install it:

Linux/macOS:

./setup-advisor.sh

Windows:

setup-advisor.bat

The script automatically:

Detects your GPU — CUDA on NVIDIA (Linux/Windows), Metal on Apple Silicon (macOS), or falls back to CPU
Compiles `llama-cpp-python` with the right a

Read from source at commit 75879b3cf907OBSERVED · 2026-10-08

Connect

Built from this server's own package name, version and transport as found in its source — not copied from anyone's documentation, so it cannot drift against a page we do not control.

claude-code

claude mcp add mcp_logic -- uvx mcp_logic

claude-desktop

{
  "mcpServers": {
    "mcp_logic": {
      "command": "uvx",
      "args": [
        "mcp_logic"
      ]
    }
  }
}

Exposed tools (4)

4 read · 0 write · 0 destructive.

Tool	Risk	Description
`check_contingency`	read	Check if a classical propositional formula is truth-functionally contingent using HCC
`check_well_formed`	read	Check if logical statements are well-formed
`get_category_axioms`	read	Get FOL axioms for category theory (category, functor, group, etc.)
`verify_commutativity`	read	Verify categorical diagram commutativity

Trust audit

BLOCKgrade D · trust 60/100 Do not install this without reading the findings. The audit found something that could harm you or your machine.

Layer	What it checks	Result
L0	Provenance & inventory	PASS
L1	Static analysis of the code	FAIL
L2	Instruction surface (what it tells the agent)	WARN
L3	Class-specific surface	PASS
L4	Behavioural (sandbox)	SKIPPED

What the source does

Filesystem: declared (2 observation(s))
Network: declared (4 observation(s))
Shell: none-observed
Dependencies: pinned
Secrets in source: none-found

Findings (14)

HIGHContainer / deploy · priv.container · CWE-250, CWE-16

linux-setup-script.sh:196

ENV DOCKER_HOST=unix:///var/run/docker.sock

HIGHPrivilege escalation / persistence · priv.escalate · CWE-269, CWE-250

docker-setup.sh:13

sudo apt-get remove -y "${pkg}" || true

Why it matters. asks for elevated privileges

HIGHPrivilege escalation / persistence · priv.escalate · CWE-269, CWE-250

docker-setup.sh:17

sudo apt-get update

Why it matters. asks for elevated privileges

HIGHPrivilege escalation / persistence · priv.escalate · CWE-269, CWE-250

docker-setup.sh:18

sudo apt-get install -y ca-certificates curl gnupg

Why it matters. asks for elevated privileges

HIGHPrivilege escalation / persistence · priv.escalate · CWE-269, CWE-250

docker-setup.sh:21

sudo install -m 0755 -d /etc/apt/keyrings

Why it matters. asks for elevated privileges

HIGHPrivilege escalation / persistence · priv.escalate · CWE-269, CWE-250

docker-setup.sh:25

sudo gpg --dearmor --yes --output /etc/apt/keyrings/docker.gpg "${DOCKER_GPG_KEY}"

Why it matters. asks for elevated privileges

MEDIUMPrivilege escalation / persistence · fs.persistence · CWE-269, CWE-250

docker-setup.sh:43

sudo systemctl start docker

MEDIUMPrivilege escalation / persistence · fs.persistence · CWE-269, CWE-250

docker-setup.sh:44

sudo systemctl enable docker

MEDIUMPrompt injection · scope.undeclared_system · CWE-94, CWE-1427

system use found in code, not declared in the description

Why it matters. the description does not admit a capability the code has

Fix. declare system use in the description, or remove it