Skip to main content
Glama
Sign In
Verified Technical Solver

Verified Technical Solver

by ASVLCII
OverviewSchemaSourceRelated ServersDiscussionsAdmin
Python
Local

Related Servers

Alternatives to Verified Technical Solver

No user-submitted related servers found.

    Related Servers

    • SciMath MCP

      matheusbgodoi
      A
      license
      A
      quality
      C
      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

    • Symbolic Algebra MCP Server

      laguchoritarik
      A
      license
      B
      quality
      C
      maintenance
      Enables MCP clients to autonomously perform symbolic mathematics and computer algebra, including solving equations, integration, differentiation, limits, series, inequalities, vector and tensor calculus, differential equations, matrices, units, and general relativity calculations.
      39
      Apache 2.0

    • 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

    • zeroH MCP

      khurramcr7
      A
      license
      B
      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.
      9
      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

    • pycodemath

      cybersora9
      A
      license
      Not graded
      quality
      B
      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.
      8
      MIT

    This server cannot be deployed

    Claude Code, inside the Godot 4 editorFlockbay puts an AI agent in the real Godot 4 editor: it writes GDScript, runs your game and fixes what breaks. Free, or bring your own Claude Code or Codex.flockbay.comAd

    Maintenance

    ActivityInactive
    ResponsivenessOutdated data

    Resources