Skip to main content
Glama
uxashleydavisfmnf

math-rigor

by uxashleydavisfmnf
OverviewSchemaSourceRelated ServersDiscussionsAdmin
Python
Local

Related Servers

Alternatives to math-rigor

No user-submitted related servers found.

    Related Servers

    • math-rigor

      bauerelizabeth07139
      A
      license
      Not graded
      quality
      A
      maintenance
      Enables rigorous, auditable mathematical proving with machine-checked steps, honestly distinguishing proven, refuted, and inconclusive results while disclosing unverified gaps.
      MIT

    • Logic-Thinking MCP Server

      quanticsoul4772
      A
      license
      Not graded
      quality
      D
      maintenance
      Enables formal logical reasoning, mathematical problem-solving, and proof construction across 11 logic systems including propositional, predicate, modal, fuzzy, and probabilistic logic. Integrates external solvers (Z3, ProbLog, Clingo) for advanced reasoning, with support for proof storage, argument scoring, and cross-system translation.
      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

    • 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

    • mcp-math

      MikeyBeez
      F
      license
      Not graded
      quality
      C
      maintenance
      Provides exact arithmetic and verification tools using SymPy and fractions to solve math competition problems precisely. It enables users to perform rigorous calculations and export notebook-ready Python code for further analysis.
      -

    • zeroH MCP

      khurramcr7
      A
      license
      Not graded
      quality
      C
      maintenance
      Enables AI assistants and autonomous agents to intercept arithmetic and algebraic hallucinations via exact rational verification, seal multi-step reasoning chains with SHA-256 Merkle commitments, and optionally bridge deep verification to a remote sovereign enclave. It also supports BFT epistemic consensus across multi-agent proposals and tamper-evident session sealing.
      MIT

    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