Skip to main content
Glama
Sign In
bauerelizabeth07139

math-rigor

by bauerelizabeth07139
OverviewSchemaSourceRelated ServersDiscussionsAdmin
Python
Local

Related Servers

Alternatives to math-rigor

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

    • AI Workstation Open Source

      zxhwolfe-dev
      A
      license
      A
      quality
      B
      maintenance
      Enables researching, verifying, comparing, and composing open-source AI projects with transparent evidence and uncertainty boundaries through read-only tools.
      9
      3
      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

    • Ackrite

      mshanghai570
      A
      license
      B
      quality
      C
      maintenance
      Enables AI agents to verify technical claims against supplied evidence, identify unsupported assumptions and contradictions, and recommend the smallest next check before acting.
      5
      MIT

    • certo

      jtraverso
      A
      license
      Not graded
      quality
      A
      maintenance
      Enables mathematical proof exploration and verification over MCP, where each result includes a certificate that can be checked independently without trusting the solver.
      40 PyPI
      1
      MIT

    • mathlas

      Archerkattri
      A
      license
      A
      quality
      B
      maintenance
      Airtight math tools an AI uses over MCP — 3.7M-theorem search, PSLQ constant ID, OEIS, real Lean kernel checks, applicability checklists. No LLM inside, no API key.
      12
      64 PyPI
      13
      Apache 2.0

    This server cannot be deployed

    One endpoint for every MCP toolRayrun runs every MCP server behind one URL and holds the credentials. Each call is decided per client, tool, and argument, then recorded.ray.runAd

    Maintenance

    ActivityMaintained
    ResponsivenessNo issues

    Resources