mcp-logic
Active·★ 47·MIT·Updated 2026-08-15
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
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
git-mcp-server★ 242
An MCP (Model Context Protocol) server enabling LLMs and AI agents to interact with Git repositories. Provides tools for comprehensive Git operations including clone, commit, branch, diff, log, status, push, pull, merge, rebase, worktree, tag management, and more, via the MCP standard. STDIO & HTTP.
codelogic-mcp-server★ 37
An MCP Server to utilize Codelogic's rich software dependency data in your AI programming assistant.
blockrun-mcp★ 392
BlockRun MCP Server — Access 41+ AI models in Claude Code with zero API keys. Pay-per-request via x402 micropayments.
mcp-ts-core★ 152
TypeScript template for building Model Context Protocol (MCP) servers. Ships with declarative tools/resources, pluggable auth, multi-backend storage, OpenTelemetry observability, and first-class support for both local and edge (Cloudflare Workers) runtimes.
Comments
Log in to leave a comment
No comments yet. Be the first!