mcp-logic and calculator-mcp

These tools are competitors, as both aim to be an AI MCP Calculator Server, with A utilizing Prover9/Mace4 and specifically noting its design for Windows Claude App etc.

mcp-logic
51
Established
calculator-mcp
21
Experimental
Maintenance 10/25
Adoption 8/25
Maturity 16/25
Community 17/25
Maintenance 10/25
Adoption 0/25
Maturity 11/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

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.

formal-logic theorem-proving model-finding philosophical-reasoning category-theory

About calculator-mcp

rubensgomes/calculator-mcp

An AI MCP Calculator Server

Related comparisons

mcp-logic and MCP-Mathematics mcp-logic and math-mcp-learning-server

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