mcp-logic and MCP-Mathematics

mcp-logic

Established

MCP-Mathematics

Emerging

Maintenance 10/25

Adoption 8/25

Maturity 16/25

Community 17/25

Maintenance 6/25

Adoption 10/25

Maturity 18/25

Community 9/25

Stars: 43

Forks: 11

Downloads: —

Commits (30d): 0

Language: Python

License: MIT

Stars: 7

Forks: 1

Downloads: 650

Commits (30d): 0

Language: Python

License: MIT

No Package No Dependents

No risk flags

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 MCP-Mathematics

SHSharkar/MCP-Mathematics

A comprehensive Model Context Protocol (MCP) server that turns any AI assistant into a powerful mathematical computation engine.

Leverages Python's AST-based evaluation for secure mathematical expression parsing without external compute libraries, while exposing 52 built-in functions, 158 unit conversions across 15 categories, and financial tools through 21 MCP tools designed for both single and batch operations—compatible with Claude Desktop, VS Code Continue, and multiple cloud platforms via FastMCP.

Related comparisons

mcp-logic and calculator-mcp mcp-logic and math-mcp

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