angrysky56/mcp-logic
Fully functional AI Logic Calculator utilizing Prover9/Mace4 via Python based Model Context Protocol (MCP-Server)- tool for Windows Claude App etc
This tool helps researchers, philosophers, or logicians automatically prove logical statements, find models, or identify counterexamples for complex arguments. You input logical premises and conclusions, and it tells you if the conclusion follows, provides a model where it holds, or shows why it fails. It's designed for anyone working with formal logic, including specialized areas like category theory.
Use this if you need to rigorously verify the validity of logical arguments or explore logical relationships within complex systems, without manually constructing proofs or models.
Not ideal if you're looking for a simple calculator for basic arithmetic or a tool for natural language processing of informal text.
Stars
43
Forks
11
Language
Python
License
MIT
Category
Last pushed
Mar 05, 2026
Commits (30d)
0
Get this data via API
curl "https://pt-edge.onrender.com/api/v1/quality/mcp/angrysky56/mcp-logic"
Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.
Related servers
clouatre-labs/math-mcp-learning-server
Educational MCP server with math operations, matrix algebra, data visualization, and persistent...
datalayer/earthdata-mcp-server
🌎 🔧 Earthdata MCP Server.
coo-quack/calc-mcp
MCP server with 21 tools for things AI is bad at — math, hashing, encoding, date arithmetic, and more.
scottchronicity/ephemeris-mcp
Precision astronomical ephemeris for AI agents. An MCP server providing planetary positions via...
SHSharkar/MCP-Mathematics
A comprehensive Model Context Protocol (MCP) server that turns any AI assistant into a powerful...