mcp-logic and calculator-mcp

mcp-logic
51
Established
calculator-mcp
22
Experimental
Maintenance 10/25
Adoption 8/25
Maturity 16/25
Community 17/25
Maintenance 13/25
Adoption 0/25
Maturity 9/25
Community 0/25
Stars: 43
Forks: 11
Downloads: —
Commits (30d): 0
Language: Python
License: MIT
Stars: —
Forks: —
Downloads: —
Commits (30d): 0
Language: Python
License: —
No Package No Dependents
No Package No Dependents

About mcp-logic

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.

About calculator-mcp

rubensgomes/calculator-mcp

An AI MCP Calculator Server

Related comparisons

mcp-logic and MCP-Mathematics

Scores updated daily from GitHub, PyPI, and npm data. How scores work