{"repo":"angrysky56/mcp-logic","free":true,"listed":false,"github":"https://github.com/angrysky56/mcp-logic","clone":"git clone https://github.com/angrysky56/mcp-logic.git","description":"Fully functional AI Logic Calculator utilizing Prover9/Mace4 via Python based Model Context Protocol (MCP-Server)- tool for Windows, Linux, Claude App etc","language":"Python","stars":46,"topics":["llm","logic","tool","ai","claude-3-5-sonnet","server","mcp-server"],"license":"MIT","category":"mcp-servers","readme_excerpt":"MCP-Logic 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: Windows: 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: Windows: 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 acceleration backend - Downloads the model ( 3.3 GB, one-time) to /.cache/mcp-logic/models/ No venv activatio","default_branch":null,"files":null,"tree":[],"storefront":"/r/angrysky56","claimed":false,"request_supported":{"post":"https://gitbuyer.com/r/angrysky56/mcp-logic/request-supported","requests":0},"note":"indexed from public GitHub; nothing is for sale on this page. Clone it from GitHub. Paid listings live at /search."}