Skip to main content
Glama
Sign In
certo

certo

by jtraverso
OverviewSchemaSourceRelated ServersDiscussionsAdmin
Python
Local

Related Servers

Alternatives to certo

No user-submitted related servers found.

    Related Servers

    • rei-checker

      fc0web
      A
      license
      A
      quality
      B
      maintenance
      Provides MCP tools to verify logical expressions and retrieve decision statistics, with verdicts VALID, INVALID, or UNDECIDED.
      2
      AGPL 3.0

    • jacobian

      morluto
      A
      license
      A
      quality
      A
      maintenance
      An MCP server for executable mathematics that enables agents to construct objects, compute invariants, search for witnesses, and verify results with independently checkable evidence.
      2
      362
      MIT

    • quantavane-mcp

      arhancanli
      A
      license
      A
      quality
      B
      maintenance
      Enables agents and users to explore 117 open benchmark problems, check candidate certificates against exact offline sandboxed checkers, compare values to best-known records, and retrieve verified results, replays, and citations. Every check yields a verdict and exact value, never an estimate.
      10
      MIT

    • SAGE

      pragnakar
      A
      license
      Not graded
      quality
      D
      maintenance
      Enables Claude Desktop and MCP-compatible agents to formulate, solve, and certify mathematical optimization problems using production-grade open-source solvers, providing mathematically grounded decisions.
      MIT

    • optlens-mcp

      jjd-lab
      A
      license
      Not graded
      quality
      B
      maintenance
      Enables MCP clients and coding agents to open LP/MILP models, diagnose infeasibility, compute irreducible infeasible sets, find repair options, and run what-if, sensitivity, and re-solve analyses through structured tools.
      Apache 2.0

    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

    ActivityActive
    ResponsivenessNo recent community issues

    Resources