FetchSandbox MCP Tools

• coach

  coach

• find_bugs Read-only

  find bugs

• fix_bug

  fix bug

• prove_fix

  prove fix

• guide

  guide

• quickrun

  quickrun

• list_specs Read-only

  list specs

• import_spec Mutating

  import spec

• validate_integration

  validate integration

• list_workflows Read-only

  list workflows

• run_all_workflows Mutating

  run all workflows

• run_workflow Mutating

  run workflow

• verify_behavior

  verify behavior

• submit_proof

  submit proof

• list_runs Read-only

  list runs

• list_scenarios Read-only

  list scenarios

• set_scenario Mutating

  set scenario

This list was read from the server itself, by connecting to it and calling tools/list on 24 September 2026. It is what the server actually exposes, not what its listing claims.

Mutating and Read-only are read off each tool's name, not its schema — a hint, not a guarantee. The registry stores tool names only; connect the server for its live schemas.