Skip to main content
Glama
d3lta02

Prover MCP

by d3lta02
OverviewSchemaSourceRelated ServersDiscussionsAdmin
TypeScript
Local

Related Servers

Alternatives to Prover MCP

No user-submitted related servers found.

    Related Servers

    Deploy Server
    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

    TDQS

    B3/5.0

    Scored across 25 tools

    Disambiguation4/5

    Most tools have clearly distinct purposes, but there is some overlap among the three logging tools (auto_stream_prover_logs, show_live_prover_logs, stream_prover_logs_to_terminal) and between debug_environment and get_environment_status, which could cause misselection.

    Naming Consistency4/5

    Tool names consistently use snake_case and follow a verb_noun pattern (e.g., get_account_balance, create_prover). However, verbs like 'show' and 'stream' deviate slightly from the dominant 'get' pattern, and some names are lengthy.

    Tool Count3/5

    25 tools is at the upper bound of typical server scope. While many are justified for comprehensive prover management, the multiple logging tools and some environment utilities could be consolidated, making it slightly heavy.

    Completeness4/5

    The tool surface covers the full prover lifecycle: creation, running, monitoring, staking, and proof handling. Minor gaps exist (e.g., no tool to update prover configuration or manage artifacts beyond creation), but overall it is well-rounded.

    Resources