math-logic-mcp
Rank #51218glama/ismailkerimov/math-logic-mcp
Provides verified symbolic math and formal logic solvers including arithmetic evaluation, equation solving, calculus, and SAT/tautology checking with machine-checked proofs.
math-logic-mcp is a Model Context Protocol (MCP) server published by ismailkerimov. It ranks #51218 of 58,832 servers tracked on MCP Toplist, and its repository has 1 GitHub stars. math-logic-mcp is listed across 2 registries — PulseMCP and Glama, and ships as a single rolling release with no explicit version metadata. It was first listed on Feb 20, 2026.
Ranks ahead of 7,614 of 58,832 servers on MCP Toplist.
Use math-logic-mcp
math-logic-mcp doesn’t publish a machine-readable install config. Follow the setup instructions in its repository ↗, or open one of its registry listings above.
Listed on 2 registries
ismailkerimov
Not versioned
This server is published through registries that do not expose explicit version metadata, and no GitHub release tags were found on the linked repository. The listing tracks a single rolling release.
Frequently asked questions
- What is math-logic-mcp?
- Provides verified symbolic math and formal logic solvers including arithmetic evaluation, equation solving, calculus, and SAT/tautology checking with machine-checked proofs.
- Who maintains math-logic-mcp?
- math-logic-mcp is maintained by ismailkerimov, which publishes 1 MCP server (0 total versions) tracked on MCP Toplist.
- Is math-logic-mcp an official MCP server?
- math-logic-mcp is not on the Official MCP Registry. It is listed on PulseMCP and Glama.
- How many versions does math-logic-mcp have?
- math-logic-mcp ships as a single rolling release with no explicit version metadata.
- Where can I find the source code for math-logic-mcp?
- The source code for math-logic-mcp is hosted at github.com/ismailkerimov/math-logic-mcp.