AgentIndex icon
AgentIndex
ToolsCategoriesTrendingNewCompare
Submit Tool
Home/
Dev Tooling/
mcp-logic
mcp-logic logo

mcp-logic

Active·★ 43·MIT·Updated 2026-05-01
★ Trending★ Observability

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

MCP-Logic is an MCP server for automated first-order logic reasoning using Prover9 and Mace4. It provides theorem proving, model finding, counterexample generation, syntax validation, categorical reasoning, propositional contingency checking, and abductive reasoning. All dependencies are automatically installed.

#ai#claude-3-5-sonnet#llm#logic#mcp-server#mcp-servers#server#tool
$ Install
$ git clone https://github.com/angrysky56/mcp-logic && cd mcp-logic && ./linux-setup-script.sh
↗ Visit site★ GitHub
01

Features

01Theorem Proving with Prover9
02Model Finding with Mace4
03Counterexample Finding
04Syntax Validation with helpful error messages
05Abductive Reasoning using Variational Free Energy
02

Compatibility

Linux
Linux setup script
Verified via docs
macOS
macOS setup script
Verified via docs
Windows
Windows setup script
Verified via docs
Claude Desktop
Claude Desktop MCP integration
Verified via docs
03

Quick start

1
$ git clone https://github.com/angrysky56/mcp-logic
2
$ cd mcp-logic
3
$ ./linux-setup-script.sh
04

Use cases

↳Prove logical theorems, e.g., 'all x (man(x) -> mortal(x)), man(socrates) ⊢ mortal(socrates)'
↳Analyze propositional contingency, e.g., '(p -> q) | (q -> p)' is a tautology
↳Find counterexamples, e.g., from premises 'P(a)' and conclusion 'P(b)', show it does not follow
05

Alternatives

fastmcp logo
fastmcp★ 25.4k
🚀 The fast, Pythonic way to build MCP servers and clients.
vs →
MCP-Chinese-Getting-Started-Guide logo
MCP-Chinese-Getting-Started-Guide★ 3.5k
Model Context Protocol(MCP) 编程极速入门
vs →
FunASR logo
FunASR★ 16.6k
Industrial-grade speech recognition toolkit: 170x realtime, 50+ languages, speaker diarization, emotion detection, streaming, and OpenAI-compatible API.
vs →
nuclear logo
nuclear★ 17.7k
Streaming music player that finds free music for you
vs →
semble logo
semble★ 4.5k
Fast and Accurate Code Search for Agents
vs →
initrunner logo
initrunner★ 38
Define AI agent roles in YAML and run them anywhere: CLI, API server, or autonomous daemon
vs →
thunderbit-mcp-server logo
thunderbit-mcp-server★ 13
AI-powered web scraping and structured data extraction. CLI + MCP server + Claude Code plugin for the Thunderbit Open API.
vs →
ninjaone-mcp logo
ninjaone-mcp★ 16
MCP server for NinjaOne — device monitoring, patching, scripting, and alert management tools for AI assistants
vs →
See all alternatives →

Related searches

mcp-logic AlternativesBest Dev Tooling Tools 2026Open Source Dev Toolingmcp-logic Tutorialmcp-logic Vs Competitorsaiclaude-3-5-sonnetllm

Comments

Log in to leave a comment
  • C
    Cameron GarciaMay 16, 2026

    Good for researchers who need automated theorem proving integrated with LLM workflows

  • M
    Morgan WhiteMay 11, 2026

    Used for formal verification workflows in safety-critical systems development

  • D
    Dylan HarrisApr 7, 2026

    The Python MCP wrapper makes theorem proving accessible without direct Prover9 experience

  • P
    Phoenix BrownMar 22, 2026

    Prover9/Mace4 integration via MCP brings formal logic verification to AI workflows

On this page
01Features02Compatibility03Quick start04Use cases05Alternatives
Stats
GitHub Stars★ 43
Last commit4w ago
StatusActive
LicenseMIT
CategoryDev Tooling
Trend (30d)
+1.7↑ 0.7%
Links
Documentation↗Discussion↗Issues↗Releases↗

Deploy on DigitalOcean — Get $200 Free Credit

Ad
© 2026 AgentIndex.app|Built by a 10-year iOS Developer.
QYSGitHubBuy me a coffee ☕

Browse by Category

Code AssistantWorkflow AutomationRAG / Knowledge BaseMulti-AgentBrowser AutomationLLM InfraDev ToolingObservability

Not affiliated with Anthropic, OpenAI or Microsoft.