Armory
Source
Browse
MCPs

ismailkerimov-math-logic

Provides verified symbolic math and formal logic solvers including arithmetic evaluation, equation solving, calculus, and SAT/tautology checking with machine-checked proofs.

Score
22.5571 signal
Evidence
1 star
Last commit
as last read from GitHub; most reads are from 2 Sep 2026 or later
Listed

Install

No one-command install. Set it up from its source.

Alternatives · MCPs

  1. sdiehl-sympy85 stars · 13 forks89.732
  2. abhiphile-fermat20 stars · 7 forks77.862
  3. wolfram-language-mcp13 stars · 3 forks69.750

What it is

MCP server Math Logic, catalogued on PulseMCP. Provides verified symbolic math and formal logic solvers including arithmetic evaluation, equation solving, calculus, and SAT/tautology checking with machine-checked proofs.

When to use it

Provides verified symbolic math and formal logic solvers including arithmetic evaluation, equation solving, calculus, and SAT/tautology checking with machine-checked proofs.

Notes

Listed from the PulseMCP registry. The registry does not state a license. Check it before production use.