Skip to main content
Glama
MikeyBeez

mcp-math

by MikeyBeez
OverviewSchemaSourceRelated ServersDiscussionsAdmin
Python
Local

Related Servers

Alternatives to mcp-math

No user-submitted related servers found.

    Related Servers

    • math-rigor

      uxashleydavisfmnf
      A
      license
      Not graded
      quality
      C
      maintenance
      Enables rigorous, machine-checked mathematical proving and proof review through 23 local tools that formalize propositions, verify each inference step with SMT and symbolic solvers, search for counterexamples, and run exact number-theoretic and high-precision arithmetic. Verdicts are strictly separated into proven, refuted, inconclusive, verified, sound_with_gaps, and flawed, so unproven steps are disclosed rather than hidden.
      MIT

    • pycodemath

      cybersora9
      A
      license
      Not graded
      quality
      A
      maintenance
      Provides a token-efficient exact math engine for AI agents, enabling computation of derivatives, integrals, equations, and optimized Python/NumPy code via a single MCP tool.
      6
      MIT

    • ReasonForge

      RoyCoding8
      A
      license
      Not graded
      quality
      D
      maintenance
      Provides a suite of deterministic math tools powered by SymPy to handle algebra, calculus, linear algebra, and statistics via the Model Context Protocol. It enables smaller language models to delegate complex computations to a verified symbolic backend for accurate and reliable results.
      Apache 2.0

    • Verified Technical Solver

      ASVLCII
      A
      license
      Not graded
      quality
      C
      maintenance
      Provides deterministic tools for symbolic math, equation solving, relation verification, reasoning structure audits, and validated CAD primitives, returning evidence artifacts for every result.
      MIT

    • SciMath MCP

      matheusbgodoi
      A
      license
      A
      quality
      B
      maintenance
      Enables reliable engineering and scientific computation through tools for exact arithmetic, unit-aware formulas, calculus, linear algebra, statistics, uncertainty propagation, and physical constants, all executed safely in reproducible subprocesses.
      8
      MIT

    • exact-calc-mcp

      flacales
      A
      license
      Not graded
      quality
      A
      maintenance
      Enables AI agents to perform precise arithmetic—including fractions, decimals, irrationals, and large integers—by cross-checking every result against two independently written engines and returning only agreed-upon answers.
      34 PyPI
      2
      MIT

    This server cannot be deployed

    Shareable, User-Owned Context BackendPeople, applications, and agents read, write, and coordinate together in one context lake. Reach it over MCP, a CLI, a Python SDK, or REST.fulcradynamics.comAd

    Maintenance

    ActivityStale
    ResponsivenessNo issues

    Resources