Skip to main content
Glama
Sign In
quantavane-mcp

quantavane-mcp

by arhancanli
OverviewSchemaSourceRelated ServersDiscussionsAdmin
Python
Local

Related Servers

Alternatives to quantavane-mcp

No user-submitted related servers found.

    Related Servers

    • certo

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

    • 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

    • VibeMath

      cyanseek
      A
      license
      Not graded
      quality
      B
      maintenance
      Enables AI agents to explore an open, evidence-rich map of math problems, AI attempts, partial progress, solution claims, and replay-ready opportunities, with six read-only tools for searching, retrieving, and exporting status and handoffs.
      4
      MIT

    • corroborate

      wangkant
      A
      license
      Not graded
      quality
      B
      maintenance
      Enables AI agents to submit verbatim source quotes for server-side verification, blind-review evidence, build reputation, and run literature checks on open Erdős problems by checking whether published papers already answer them.
      7 npm
      MIT

    • genpark-reasoning-mcts-step

      Alpha-Park
      A
      license
      Not graded
      quality
      Not graded
      maintenance
      Enables agents to verify complex math, code, and logic reasoning through MCTS step-level process reward modeling, counterfactual backtracking, symbolic proof checking, and majority-vote consensus so hallucinated branches get pruned. It also allocates test-time compute dynamically and exposes these capabilities over a zero-dependency STDIO MCP server for Claude Desktop, Cursor, and other agent runtimes.
      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 recent community issues

    Resources