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
Provides automated first-order logic reasoning via Prover9/Mace4 with additional specialized engines: a Hypersequent Contingency Calculus (HCC) prover for fast propositional analysis, Variational Free Energy (VFE) abductive reasoning for hypothesis ranking, and category theory support for commutativity verification. Implements the MCP server protocol with stdio transport, auto-routing propositional queries to HCC and first-order queries to Prover9, with syntax validation and model/counterexample finding built-in.
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
coo-quack/calc-mcp
MCP server with 21 tools for things AI is bad at — math, hashing, encoding, date arithmetic, and more.
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.
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...