← WebMCP Directory

Tool tree

probepilot.jules-tnk.com

Developer ToolsTools verified
Website
ProbePilot Studio: design ideal circuits and diagnose the imperfect bench build with an agent.
Explore capabilities
    studio_inspectAnswer

    Inspect the current public ProbePilot Studio state. Returns exact circuit components, terminals, wires, revisions, simulation results, and public bench evidence. It never reveals the hidden bench fault.

    View tool JSON
    {
      "name": "studio_inspect",
      "kind": "answer",
      "impl": "imperative",
      "description": "Inspect the current public ProbePilot Studio state. Returns exact circuit components, terminals, wires, revisions, simulation results, and public bench evidence. It never reveals the hidden bench fault.",
      "inputSchema": {
        "type": "object",
        "additionalProperties": false,
        "properties": {
          "scope": {
            "type": "string",
            "enum": [
              "summary",
              "design",
              "simulation",
              "bench"
            ],
            "default": "summary"
          }
        }
      }
    }
    design_build_circuitAction

    Atomically add supported low-voltage components and semantic terminal-to-terminal connections to the visible design. Use temporary keys to connect components created in the same call.

    View tool JSON
    {
      "name": "design_build_circuit",
      "kind": "act",
      "impl": "imperative",
      "description": "Atomically add supported low-voltage components and semantic terminal-to-terminal connections to the visible design. Use temporary keys to connect components created in the same call.",
      "inputSchema": {
        "type": "object",
        "additionalProperties": false,
        "required": [
          "expectedRevision",
          "components",
          "connections"
        ],
        "properties": {
          "expectedRevision": {
            "type": "integer",
            "minimum": 0
          },
          "components": {
            "type": "array",
            "maxItems": 20,
            "items": {
              "oneOf": [
                {
                  "title": "DC source",
                  "type": "object",
                  "additionalProperties": false,
                  "required": [
                    "key",
                    "kind",
                    "placement"
                  ],
                  "properties": {
                    "key": {
                      "type": "string",
                      "minLength": 1,
                      "maxLength": 48
                    },
                    "kind": {
                      "type": "string",
                      "const": "dc_source"
                    },
                    "label": {
                      "type": "string",
                      "minLength": 1,
                      "maxLength": 32
                    },
                    "properties": {
                      "title": "DC source properties",
                      "type": "object",
                      "additionalProperties": false,
                      "properties": {
                        "voltage": {
                          "oneOf": [
                            {
                              "type": "number",
                              "minimum": 0.1,
                              "maximum": 24
                            },
                            {
                              "type": "string"
                            }
                          ],
                          "default": 9
                        },
                        "enabled": {
                          "type": "boolean",
                          "default": true
                        }
                      }
                    },
                    "placement": {
                      "oneOf": [
                        {
                          "type": "object",
                          "additionalProperties": false,
                          "required": [
                            "type",
                            "order"
                          ],
                          "properties": {
                            "type": {
                              "const": "auto"
                            },
                            "order": {
                              "type": "integer",
                              "minimum": 0
                            }
                          }
                        },
                        {
                          "type": "object",
                          "additionalProperties": false,
                          "required": [
                            "type",
                            "x",
                            "y"
                          ],
                          "properties": {
                            "type": {
                              "const": "absolute"
                            },
                            "x": {
                              "type": "number"
                            },
                            "y": {
                              "type": "number"
                            }
                          }
                        }
                      ]
                    }
                  }
                },
                {
                  "title": "Ground",
                  "type": "object",
                  "additionalProperties": false,
                  "required": [
                    "key",
                    "kind",
                    "placement"
                  ],
                  "properties": {
                    "key": {
                      "type": "string",
                      "minLength": 1,
                      "maxLength": 48
                    },
                    "kind": {
                      "type": "string",
                      "const": "ground"
                    },
                    "label": {
                      "type": "string",
                      "minLength": 1,
                      "maxLength": 32
                    },
                    "properties": {
                      "title": "Ground properties",
                      "type": "object",
                      "additionalProperties": false,
                      "properties": {}
                    },
                    "placement": {
                      "oneOf": [
                        {
                          "type": "object",
                          "additionalProperties": false,
                          "required": [
                            "type",
                            "order"
                          ],
                          "properties": {
                            "type": {
                              "const": "auto"
                            },
                            "order": {
                              "type": "integer",
                              "minimum": 0
                            }
                          }
                        },
                        {
                          "type": "object",
                          "additionalProperties": false,
                          "required": [
                            "type",
                            "x",
                            "y"
                          ],
                          "properties": {
                            "type": {
                              "const": "absolute"
                            },
                            "x": {
                              "type": "number"
                            },
                            "y": {
                              "type": "number"
                            }
                          }
                        }
                      ]
                    }
                  }
                },
                {
                  "title": "Resistor",
                  "type": "object",
                  "additionalProperties": false,
                  "required": [
                    "key",
                    "kind",
                    "placement"
                  ],
                  "properties": {
                    "key": {
                      "type": "string",
                      "minLength": 1,
                      "maxLength": 48
                    },
                    "kind": {
                      "type": "string",
                      "const": "resistor"
                    },
                    "label": {
                      "type": "string",
                      "minLength": 1,
                      "maxLength": 32
                    },
                    "properties": {
                      "title": "Resistor properties",
                      "type": "object",
                      "additionalProperties": false,
                      "properties": {
                        "resistanceOhms": {
                          "oneOf": [
                            {
                              "type": "number",
                              "minimum": 1,
                              "maximum": 10000000
                            },
                            {
                              "type": "string"
                            }
                          ],
                          "default": 330
                        },
                        "tolerance": {
                          "oneOf": [
                            {
                              "type": "number",
                              "minimum": 0,
                              "maximum": 1
                            },
                            {
                              "type": "string"
                            }
                          ],
                          "default": 0.05
                        }
                      }
                    },
                    "placement": {
                      "oneOf": [
                        {
                          "type": "object",
                          "additionalProperties": false,
                          "required": [
                            "type",
                            "order"
                          ],
                          "properties": {
                            "type": {
                              "const": "auto"
                            },
                            "order": {
                              "type": "integer",
                              "minimum": 0
                            }
                          }
                        },
                        {
                          "type": "object",
                          "additionalProperties": false,
                          "required": [
                            "type",
                            "x",
                            "y"
                          ],
                          "properties": {
                            "type": {
                              "const": "absolute"
                            },
                            "x": {
                              "type": "number"
                            },
                            "y": {
                              "type": "number"
                            }
                          }
                        }
                      ]
                    }
                  }
                },
                {
                  "title": "LED",
                  "type": "object",
                  "additionalProperties": false,
                  "required": [
                    "key",
                    "kind",
                    "placement"
                  ],
                  "properties": {
                    "key": {
                      "type": "string",
                      "minLength": 1,
                      "maxLength": 48
                    },
                    "kind": {
                      "type": "string",
                      "const": "led"
                    },
                    "label": {
                      "type": "string",
                      "minLength": 1,
                      "maxLength": 32
                    },
                    "properties": {
                      "title": "LED properties",
                      "type": "object",
                      "additionalProperties": false,
                      "properties": {
                        "forwardVoltage": {
                          "type": "number",
                          "maximum": 5,
                          "exclusiveMinimum": 0,
                          "default": 2
                        },
                        "maxCurrentMilliamps": {
                          "type": "number",
                          "maximum": 50,
                          "exclusiveMinimum": 0,
                          "default": 25
                        },
                        "displayColor": {
                          "type": "string",
                          "enum": [
                            "red",
                            "amber",
                            "green",
                            "blue"
                          ],
                          "default": "red"
                        }
                      }
                    },
                    "placement": {
                      "oneOf": [
                        {
                          "type": "object",
                          "additionalProperties": false,
                          "required": [
                            "type",
                            "order"
                          ],
                          "properties": {
                            "type": {
                              "const": "auto"
                            },
                            "order": {
                              "type": "integer",
                              "minimum": 0
                            }
                          }
                        },
                        {
                          "type": "object",
                          "additionalProperties": false,
                          "required": [
                            "type",
                            "x",
                            "y"
                          ],
                          "properties": {
                            "type": {
                              "const": "absolute"
                            },
                            "x": {
                              "type": "number"
                            },
                            "y": {
                              "type": "number"
                            }
                          }
                        }
                      ]
                    }
                  }
                },
                {
                  "title": "SPST switch",
                  "type": "object",
                  "additionalProperties": false,
                  "required": [
                    "key",
                    "kind",
                    "placement"
                  ],
                  "properties": {
                    "key": {
                      "type": "string",
                      "minLength": 1,
                      "maxLength": 48
                    },
                    "kind": {
                      "type": "string",
                      "const": "switch"
                    },
                    "label": {
                      "type": "string",
                      "minLength": 1,
                      "maxLength": 32
                    },
                    "properties": {
                      "title": "SPST switch properties",
                      "type": "object",
                      "additionalProperties": false,
                      "properties": {
                        "closed": {
                          "type": "boolean",
                          "default": true
                        }
                      }
                    },
                    "placement": {
                      "oneOf": [
                        {
                          "type": "object",
                          "additionalProperties": false,
                          "required": [
                            "type",
                            "order"
                          ],
                          "properties": {
                            "type": {
                              "const": "auto"
                            },
                            "order": {
                              "type": "integer",
                              "minimum": 0
                            }
                          }
                        },
                        {
                          "type": "object",
                          "additionalProperties": false,
                          "required": [
                            "type",
                            "x",
                            "y"
                          ],
                          "properties": {
                            "type": {
                              "const": "absolute"
                            },
                            "x": {
                              "type": "number"
                            },
                            "y": {
                              "type": "number"
                            }
                          }
                        }
                      ]
                    }
                  }
                },
                {
                  "title": "Battery",
                  "type": "object",
                  "additionalProperties": false,
                  "required": [
                    "key",
                    "kind",
                    "placement"
                  ],
                  "properties": {
                    "key": {
                      "type": "string",
                      "minLength": 1,
                      "maxLength": 48
                    },
                    "kind": {
                      "type": "string",
                      "const": "battery"
                    },
                    "label": {
                      "type": "string",
                      "minLength": 1,
                      "maxLength": 32
                    },
                    "properties": {
                      "title": "Battery properties",
                      "type": "object",
                      "additionalProperties": false,
                      "properties": {
                        "voltage": {
                          "oneOf": [
                            {
                              "type": "number"
                            },
                            {
                              "type": "string"
                            }
                          ],
                          "default": 9
                        },
                        "capacityMilliampHours": {
                          "oneOf": [
                            {
                              "type": "number"
                            },
                            {
                              "type": "string"
                            }
                          ],
                          "default": 500
                        },
                        "standard": {
                          "type": "string",
                          "enum": [
                            "AA",
                            "AAA",
                            "9V",
                            "CR2032",
                            "18650",
                            "C"
                          ],
                          "default": "9V"
                        }
                      }
                    },
                    "placement": {
                      "oneOf": [
                        {
                          "type": "object",
                          "additionalProperties": false,
                          "required": [
                            "type",
                            "order"
                          ],
                          "properties": {
                            "type": {
                              "const": "auto"
                            },
                            "order": {
                              "type": "integer",
                              "minimum": 0
                            }
                          }
                        },
                        {
                          "type": "object",
                          "additionalProperties": false,
                          "required": [
                            "type",
                            "x",
                            "y"
                          ],
                          "properties": {
                            "type": {
                              "const": "absolute"
                            },
                            "x": {
                              "type": "number"
                            },
                            "y": {
                              "type": "number"
                            }
                          }
                        }
                      ]
                    }
                  }
                },
                {
                  "title": "Current source",
                  "type": "object",
                  "additionalProperties": false,
                  "required": [
                    "key",
                    "kind",
                    "placement"
                  ],
                  "properties": {
                    "key": {
                      "type": "string",
                      "minLength": 1,
                      "maxLength": 48
                    },
                    "kind": {
                      "type": "string",
                      "const": "current_source"
                    },
                    "label": {
                      "type": "string",
                      "minLength": 1,
                      "maxLength": 32
                    },
                    "properties": {
                      "title": "Current source properties",
                      "type": "object",
                      "additionalProperties": false,
                      "properties": {
                        "currentAmps": {
                          "oneOf": [
                            {
                              "type": "number"
                            },
                            {
                              "type": "string"
                            }
                          ],
                          "default": 0.02
                        },
                        "enabled": {
                          "type": "boolean",
                          "default": true
                        }
                      }
                    },
                    "placement": {
                      "oneOf": [
                        {
                          "type": "object",
                          "additionalProperties": false,
                          "required": [
                            "type",
                            "order"
                          ],
                          "properties": {
                            "type": {
                              "const": "auto"
                            },
                            "order": {
                              "type": "integer",
                              "minimum": 0
                            }
                          }
                        },
                        {
                          "type": "object",
                          "additionalProperties": false,
                          "required": [
                            "type",
                            "x",
                            "y"
                          ],
                          "properties": {
                            "type": {
                              "const": "absolute"
                            },
                            "x": {
                              "type": "number"
                            },
                            "y": {
                              "type": "number"
                            }
                          }
                        }
                      ]
                    }
                  }
                },
                {
                  "title": "Capacitor",
                  "type": "object",
                  "additionalProperties": false,
                  "required": [
                    "key",
                    "kind",
                    "placement"
                  ],
                  "properties": {
                    "key": {
                      "type": "string",
                      "minLength": 1,
                      "maxLength": 48
                    },
                    "kind": {
                      "type": "string",
                      "const": "capacitor"
                    },
                    "label": {
                      "type": "string",
                      "minLength": 1,
                      "maxLength": 32
                    },
                    "properties": {
                      "title": "Capacitor properties",
                      "type": "object",
                      "additionalProperties": false,
                      "properties": {
                        "capacitanceFarads": {
                          "oneOf": [
                            {
                              "type": "number"
                            },
                            {
                              "type": "string"
                            }
                          ],
                          "default": 0.000001
                        },
                        "polarized": {
                          "type": "boolean",
                          "default": false
                        },
                        "voltageRating": {
                          "oneOf": [
                            {
                              "type": "number"
                            },
                            {
                              "type": "string"
                            }
                          ],
                          "default": 25
                        }
                      }
                    },
                    "placement": {
                      "oneOf": [
                        {
                          "type": "object",
                          "additionalProperties": false,
                          "required": [
                            "type",
                            "order"
                          ],
                          "properties": {
                            "type": {
                              "const": "auto"
                            },
                            "order": {
                              "type": "integer",
                              "minimum": 0
                            }
                          }
                        },
                        {
                          "type": "object",
                          "additionalProperties": false,
                          "required": [
                            "type",
                            "x",
                            "y"
                          ],
                          "properties": {
                            "type": {
                              "const": "absolute"
                            },
                            "x": {
                              "type": "number"
                            },
                            "y": {
                              "type": "number"
                            }
                          }
                        }
                      ]
                    }
                  }
                },
                {
                  "title": "Inductor",
                  "type": "object",
                  "additionalProperties": false,
                  "required": [
                    "key",
                    "kind",
                    "placement"
                  ],
                  "properties": {
                    "key": {
                      "type": "string",
                      "minLength": 1,
                      "maxLength": 48
                    },
                    "kind": {
                      "type": "string",
                      "const": "inductor"
                    },
                    "label": {
                      "type": "string",
                      "minLength": 1,
                      "maxLength": 32
                    },
                    "properties": {
                      "title": "Inductor properties",
                      "type": "object",
                      "additionalProperties": false,
                      "properties": {
                        "inductanceHenries": {
                          "oneOf": [
                            {
                              "type": "number"
                            },
                            {
                              "type": "string"
                            }
                          ],
                          "default": 0.001
                        },
                        "maxCurrentAmps": {
                          "type": "number",
                          "exclusiveMinimum": 0,
                          "default": 0.1
                        }
                      }
                    },
                    "placement": {
                      "oneOf": [
                        {
                          "type": "object",
                          "additionalProperties": false,
                          "required": [
                            "type",
                            "order"
                          ],
                          "properties": {
                            "type": {
                              "const": "auto"
                            },
                            "order": {
                              "type": "integer",
                              "minimum": 0
                            }
                          }
                        },
                        {
                          "type": "object",
                          "additionalProperties": false,
                          "required": [
                            "type",
                            "x",
                            "y"
                          ],
                          "properties": {
                            "type": {
                              "const": "absolute"
                            },
                            "x": {
                              "type": "number"
                            },
                            "y": {
                              "type": "number"
                            }
                          }
                        }
                      ]
                    }
                  }
                },
                {
                  "title": "Diode",
                  "type": "object",
                  "additionalProperties": false,
                  "required": [
                    "key",
                    "kind",
                    "placement"
                  ],
                  "properties": {
                    "key": {
                      "type": "string",
                      "minLength": 1,
                      "maxLength": 48
                    },
                    "kind": {
                      "type": "string",
                      "const": "diode"
                    },
                    "label": {
                      "type": "string",
                      "minLength": 1,
                      "maxLength": 32
                    },
                    "properties": {
                      "title": "Diode properties",
                      "type": "object",
                      "additionalProperties": false,
                      "properties": {
                        "forwardVoltage": {
                          "type": "number",
                          "maximum": 5,
                          "exclusiveMinimum": 0,
                          "default": 0.7
                        }
                      }
                    },
                    "placement": {
                      "oneOf": [
                        {
                          "type": "object",
                          "additionalProperties": false,
                          "required": [
                            "type",
                            "order"
                          ],
                          "properties": {
                            "type": {
                              "const": "auto"
                            },
                            "order": {
                              "type": "integer",
                              "minimum": 0
                            }
                          }
                        },
                        {
                          "type": "object",
                          "additionalProperties": false,
                          "required": [
                            "type",
                            "x",
                            "y"
                          ],
                          "properties": {
                            "type": {
                              "const": "absolute"
                            },
                            "x": {
                              "type": "number"
                            },
                            "y": {
                              "type": "number"
                            }
                          }
                        }
                      ]
                    }
                  }
                },
                {
                  "title": "Zener diode",
                  "type": "object",
                  "additionalProperties": false,
                  "required": [
                    "key",
                    "kind",
                    "placement"
                  ],
                  "properties": {
                    "key": {
                      "type": "string",
                      "minLength": 1,
                      "maxLength": 48
                    },
                    "kind": {
                      "type": "string",
                      "const": "zener_diode"
                    },
                    "label": {
                      "type": "string",
                      "minLength": 1,
                      "maxLength": 32
                    },
                    "properties": {
                      "title": "Zener diode properties",
                      "type": "object",
                      "additionalProperties": false,
                      "properties": {
                        "zenerVoltage": {
                          "type": "number",
                          "maximum": 200,
                          "exclusiveMinimum": 0,
                          "default": 5.1
                        }
                      }
                    },
                    "placement": {
                      "oneOf": [
                        {
                          "type": "object",
                          "additionalProperties": false,
                          "required": [
                            "type",
                            "order"
                          ],
                          "properties": {
                            "type": {
                              "const": "auto"
                            },
                            "order": {
                              "type": "integer",
                              "minimum": 0
                            }
                          }
                        },
                        {
                          "type": "object",
                          "additionalProperties": false,
                          "required": [
                            "type",
                            "x",
                            "y"
                          ],
                          "properties": {
                            "type": {
                              "const": "absolute"
                            },
                            "x": {
                              "type": "number"
                            },
                            "y": {
                              "type": "number"
                            }
                          }
                        }
                      ]
                    }
                  }
                },
                {
                  "title": "Schottky diode",
                  "type": "object",
                  "additionalProperties": false,
                  "required": [
                    "key",
                    "kind",
                    "placement"
                  ],
                  "properties": {
                    "key": {
                      "type": "string",
                      "minLength": 1,
                      "maxLength": 48
                    },
                    "kind": {
                      "type": "string",
                      "const": "schottky_diode"
                    },
                    "label": {
                      "type": "string",
                      "minLength": 1,
                      "maxLength": 32
                    },
                    "properties": {
                      "title": "Schottky diode properties",
                      "type": "object",
                      "additionalProperties": false,
                      "properties": {
                        "forwardVoltage": {
                          "type": "number",
                          "maximum": 5,
                          "exclusiveMinimum": 0,
                          "default": 0.3
                        }
                      }
                    },
                    "placement": {
                      "oneOf": [
                        {
                          "type": "object",
                          "additionalProperties": false,
                          "required": [
                            "type",
                            "order"
                          ],
                          "properties": {
                            "type": {
                              "const": "auto"
                            },
                            "order": {
                              "type": "integer",
                              "minimum": 0
                            }
                          }
                        },
                        {
                          "type": "object",
                          "additionalProperties": false,
                          "required": [
                            "type",
                            "x",
                            "y"
                          ],
                          "properties": {
                            "type": {
                              "const": "absolute"
                            },
                            "x": {
                              "type": "number"
                            },
                            "y": {
                              "type": "number"
                            }
                          }
                        }
                      ]
                    }
                  }
                },
                {
                  "title": "Fuse",
                  "type": "object",
                  "additionalProperties": false,
                  "required": [
                    "key",
                    "kind",
                    "placement"
                  ],
                  "properties": {
                    "key": {
                      "type": "string",
                      "minLength": 1,
                      "maxLength": 48
                    },
                    "kind": {
                      "type": "string",
                      "const": "fuse"
                    },
                    "label": {
                      "type": "string",
                      "minLength": 1,
                      "maxLength": 32
                    },
                    "properties": {
                      "title": "Fuse properties",
                      "type": "object",
                      "additionalProperties": false,
                      "properties": {
                        "currentRatingAmps": {
                          "oneOf": [
                            {
                              "type": "number"
                            },
                            {
                              "type": "string"
                            }
                          ],
                          "default": 1
                        },
                        "voltageRating": {
                          "oneOf": [
                            {
                              "type": "number"
                            },
                            {
                              "type": "string"
                            }
                          ],
                          "default": 32
                        }
                      }
                    },
                    "placement": {
                      "oneOf": [
                        {
                          "type": "object",
                          "additionalProperties": false,
                          "required": [
                            "type",
                            "order"
                          ],
                          "properties": {
                            "type": {
                              "const": "auto"
                            },
                            "order": {
                              "type": "integer",
                              "minimum": 0
                            }
                          }
                        },
                        {
                          "type": "object",
                          "additionalProperties": false,
                          "required": [
                            "type",
                            "x",
                            "y"
                          ],
                          "properties": {
                            "type": {
                              "const": "absolute"
                            },
                            "x": {
                              "type": "number"
                            },
                            "y": {
                              "type": "number"
                            }
                          }
                        }
                      ]
                    }
                  }
                },
                {
                  "title": "Potentiometer",
                  "type": "object",
                  "additionalProperties": false,
                  "required": [
                    "key",
                    "kind",
                    "placement"
                  ],
                  "properties": {
                    "key": {
                      "type": "string",
                      "minLength": 1,
                      "maxLength": 48
                    },
                    "kind": {
                      "type": "string",
                      "const": "potentiometer"
                    },
                    "label": {
                      "type": "string",
                      "minLength": 1,
                      "maxLength": 32
                    },
                    "properties": {
                      "title": "Potentiometer properties",
                      "type": "object",
                      "additionalProperties": false,
                      "properties": {
                        "resistanceOhms": {
                          "oneOf": [
                            {
                              "type": "number"
                            },
                            {
                              "type": "string"
                            }
                          ],
                          "default": 10000
                        },
                        "wiperPosition": {
                          "type": "number",
                          "minimum": 0,
                          "maximum": 1,
                          "default": 0.5
                        }
                      }
                    },
                    "placement": {
                      "oneOf": [
                        {
                          "type": "object",
                          "additionalProperties": false,
                          "required": [
                            "type",
                            "order"
                          ],
                          "properties": {
                            "type": {
                              "const": "auto"
                            },
                            "order": {
                              "type": "integer",
                              "minimum": 0
                            }
                          }
                        },
                        {
                          "type": "object",
                          "additionalProperties": false,
                          "required": [
                            "type",
                            "x",
                            "y"
                          ],
                          "properties": {
                            "type": {
                              "const": "absolute"
                            },
                            "x": {
                              "type": "number"
                            },
                            "y": {
                              "type": "number"
                            }
                          }
                        }
                      ]
                    }
                  }
                },
                {
                  "title": "Push button",
                  "type": "object",
                  "additionalProperties": false,
                  "required": [
                    "key",
                    "kind",
                    "placement"
                  ],
                  "properties": {
                    "key": {
                      "type": "string",
                      "minLength": 1,
                      "maxLength": 48
                    },
                    "kind": {
                      "type": "string",
                      "const": "push_button"
                    },
                    "label": {
                      "type": "string",
                      "minLength": 1,
                      "maxLength": 32
                    },
                    "properties": {
                      "title": "Push button properties",
                      "type": "object",
                      "additionalProperties": false,
                      "properties": {
                        "pressed": {
                          "type": "boolean",
                          "default": false
                        }
                      }
                    },
                    "placement": {
                      "oneOf": [
                        {
                          "type": "object",
                          "additionalProperties": false,
                          "required": [
                            "type",
                            "order"
                          ],
                          "properties": {
                            "type": {
                              "const": "auto"
                            },
                            "order": {
                              "type": "integer",
                              "minimum": 0
                            }
                          }
                        },
                        {
                          "type": "object",
                          "additionalProperties": false,
                          "required": [
                            "type",
                            "x",
                            "y"
                          ],
                          "properties": {
                            "type": {
                              "const": "absolute"
                            },
                            "x": {
                              "type": "number"
                            },
                            "y": {
                              "type": "number"
                            }
                          }
                        }
                      ]
                    }
                  }
                },
                {
                  "title": "SPDT switch",
                  "type": "object",
                  "additionalProperties": false,
                  "required": [
                    "key",
                    "kind",
                    "placement"
                  ],
                  "properties": {
                    "key": {
                      "type": "string",
                      "minLength": 1,
                      "maxLength": 48
                    },
                    "kind": {
                      "type": "string",
                      "const": "spdt_switch"
                    },
                    "label": {
                      "type": "string",
                      "minLength": 1,
                      "maxLength": 32
                    },
                    "properties": {
                      "title": "SPDT switch properties",
                      "type": "object",
                      "additionalProperties": false,
                      "properties": {
                        "position": {
                          "type": "string",
                          "enum": [
                            "a",
                            "b"
                          ],
                          "default": "a"
                        }
                      }
                    },
                    "placement": {
                      "oneOf": [
                        {
                          "type": "object",
                          "additionalProperties": false,
                          "required": [
                            "type",
                            "order"
                          ],
                          "properties": {
                            "type": {
                              "const": "auto"
                            },
                            "order": {
                              "type": "integer",
                              "minimum": 0
                            }
                          }
                        },
                        {
                          "type": "object",
                          "additionalProperties": false,
                          "required": [
                            "type",
                            "x",
                            "y"
                          ],
                          "properties": {
                            "type": {
                              "const": "absolute"
                            },
                            "x": {
                              "type": "number"
                            },
                            "y": {
                              "type": "number"
                            }
                          }
                        }
                      ]
                    }
                  }
                },
                {
                  "title": "NPN BJT",
                  "type": "object",
                  "additionalProperties": false,
                  "required": [
                    "key",
                    "kind",
                    "placement"
                  ],
                  "properties": {
                    "key": {
                      "type": "string",
                      "minLength": 1,
                      "maxLength": 48
                    },
                    "kind": {
                      "type": "string",
                      "const": "npn_bjt"
                    },
                    "label": {
                      "type": "string",
                      "minLength": 1,
                      "maxLength": 32
                    },
                    "properties": {
                      "title": "NPN BJT properties",
                      "type": "object",
                      "additionalProperties": false,
                      "properties": {
                        "beta": {
                          "type": "number",
                          "exclusiveMinimum": 0,
                          "default": 100
                        }
                      }
                    },
                    "placement": {
                      "oneOf": [
                        {
                          "type": "object",
                          "additionalProperties": false,
                          "required": [
                            "type",
                            "order"
                          ],
                          "properties": {
                            "type": {
                              "const": "auto"
                            },
                            "order": {
                              "type": "integer",
                              "minimum": 0
                            }
                          }
                        },
                        {
                          "type": "object",
                          "additionalProperties": false,
                          "required": [
                            "type",
                            "x",
                            "y"
                          ],
                          "properties": {
                            "type": {
                              "const": "absolute"
                            },
                            "x": {
                              "type": "number"
                            },
                            "y": {
                              "type": "number"
                            }
                          }
                        }
                      ]
                    }
                  }
                },
                {
                  "title": "PNP BJT",
                  "type": "object",
                  "additionalProperties": false,
                  "required": [
                    "key",
                    "kind",
                    "placement"
                  ],
                  "properties": {
                    "key": {
                      "type": "string",
                      "minLength": 1,
                      "maxLength": 48
                    },
                    "kind": {
                      "type": "string",
                      "const": "pnp_bjt"
                    },
                    "label": {
                      "type": "string",
                      "minLength": 1,
                      "maxLength": 32
                    },
                    "properties": {
                      "title": "PNP BJT properties",
                      "type": "object",
                      "additionalProperties": false,
                      "properties": {
                        "beta": {
                          "type": "number",
                          "exclusiveMinimum": 0,
                          "default": 100
                        }
                      }
                    },
                    "placement": {
                      "oneOf": [
                        {
                          "type": "object",
                          "additionalProperties": false,
                          "required": [
                            "type",
                            "order"
                          ],
                          "properties": {
                            "type": {
                              "const": "auto"
                            },
                            "order": {
                              "type": "integer",
                              "minimum": 0
                            }
                          }
                        },
                        {
                          "type": "object",
                          "additionalProperties": false,
                          "required": [
                            "type",
                            "x",
                            "y"
                          ],
                          "properties": {
                            "type": {
                              "const": "absolute"
                            },
                            "x": {
                              "type": "number"
                            },
                            "y": {
                              "type": "number"
                            }
                          }
                        }
                      ]
                    }
                  }
                },
                {
                  "title": "N-channel MOSFET",
                  "type": "object",
                  "additionalProperties": false,
                  "required": [
                    "key",
                    "kind",
                    "placement"
                  ],
                  "properties": {
                    "key": {
                      "type": "string",
                      "minLength": 1,
                      "maxLength": 48
                    },
                    "kind": {
                      "type": "string",
                      "const": "n_channel_mosfet"
                    },
                    "label": {
                      "type": "string",
                      "minLength": 1,
                      "maxLength": 32
                    },
                    "properties": {
                      "title": "N-channel MOSFET properties",
                      "type": "object",
                      "additionalProperties": false,
                      "properties": {
                        "mode": {
                          "type": "string",
                          "enum": [
                            "enhancement",
                            "depletion"
                          ],
                          "default": "enhancement"
                        }
                      }
                    },
                    "placement": {
                      "oneOf": [
                        {
                          "type": "object",
                          "additionalProperties": false,
                          "required": [
                            "type",
                            "order"
                          ],
                          "properties": {
                            "type": {
                              "const": "auto"
                            },
                            "order": {
                              "type": "integer",
                              "minimum": 0
                            }
                          }
                        },
                        {
                          "type": "object",
                          "additionalProperties": false,
                          "required": [
                            "type",
                            "x",
                            "y"
                          ],
                          "properties": {
                            "type": {
                              "const": "absolute"
                            },
                            "x": {
                              "type": "number"
                            },
                            "y": {
                              "type": "number"
                            }
                          }
                        }
                      ]
                    }
                  }
                },
                {
                  "title": "P-channel MOSFET",
                  "type": "object",
                  "additionalProperties": false,
                  "required": [
                    "key",
                    "kind",
                    "placement"
                  ],
                  "properties": {
                    "key": {
                      "type": "string",
                      "minLength": 1,
                      "maxLength": 48
                    },
                    "kind": {
                      "type": "string",
                      "const": "p_channel_mosfet"
                    },
                    "label": {
                      "type": "string",
                      "minLength": 1,
                      "maxLength": 32
                    },
                    "properties": {
                      "title": "P-channel MOSFET properties",
                      "type": "object",
                      "additionalProperties": false,
                      "properties": {
                        "mode": {
                          "type": "string",
                          "enum": [
                            "enhancement",
                            "depletion"
                          ],
                          "default": "enhancement"
                        }
                      }
                    },
                    "placement": {
                      "oneOf": [
                        {
                          "type": "object",
                          "additionalProperties": false,
                          "required": [
                            "type",
                            "order"
                          ],
                          "properties": {
                            "type": {
                              "const": "auto"
                            },
                            "order": {
                              "type": "integer",
                              "minimum": 0
                            }
                          }
                        },
                        {
                          "type": "object",
                          "additionalProperties": false,
                          "required": [
                            "type",
                            "x",
                            "y"
                          ],
                          "properties": {
                            "type": {
                              "const": "absolute"
                            },
                            "x": {
                              "type": "number"
                            },
                            "y": {
                              "type": "number"
                            }
                          }
                        }
                      ]
                    }
                  }
                },
                {
                  "title": "Op-amp",
                  "type": "object",
                  "additionalProperties": false,
                  "required": [
                    "key",
                    "kind",
                    "placement"
                  ],
                  "properties": {
                    "key": {
                      "type": "string",
                      "minLength": 1,
                      "maxLength": 48
                    },
                    "kind": {
                      "type": "string",
                      "const": "op_amp"
                    },
                    "label": {
                      "type": "string",
                      "minLength": 1,
                      "maxLength": 32
                    },
                    "properties": {
                      "title": "Op-amp properties",
                      "type": "object",
                      "additionalProperties": false,
                      "properties": {
                        "gain": {
                          "type": "number",
                          "exclusiveMinimum": 0,
                          "default": 100000
                        }
                      }
                    },
                    "placement": {
                      "oneOf": [
                        {
                          "type": "object",
                          "additionalProperties": false,
                          "required": [
                            "type",
                            "order"
                          ],
                          "properties": {
                            "type": {
                              "const": "auto"
                            },
                            "order": {
                              "type": "integer",
                              "minimum": 0
                            }
                          }
                        },
                        {
                          "type": "object",
                          "additionalProperties": false,
                          "required": [
                            "type",
                            "x",
                            "y"
                          ],
                          "properties": {
                            "type": {
                              "const": "absolute"
                            },
                            "x": {
                              "type": "number"
                            },
                            "y": {
                              "type": "number"
                            }
                          }
                        }
                      ]
                    }
                  }
                }
              ]
            }
          },
          "connections": {
            "type": "array",
            "maxItems": 30,
            "items": {
              "type": "object",
              "additionalProperties": false,
              "required": [
                "from",
                "to"
              ],
              "properties": {
                "from": {
                  "type": "object",
                  "additionalProperties": false,
                  "required": [
                    "component",
                    "terminal"
                  ],
                  "properties": {
                    "component": {
                      "type": "string"
                    },
                    "terminal": {
                      "type": "string"
                    }
                  }
                },
                "to": {
                  "type": "object",
                  "additionalProperties": false,
                  "required": [
                    "component",
                    "terminal"
                  ],
                  "properties": {
                    "component": {
                      "type": "string"
                    },
                    "terminal": {
                      "type": "string"
                    }
                  }
                }
              }
            }
          }
        }
      }
    }
    design_update_componentsAction

    Update supported properties, labels, or positions on existing design components. Human-protected components cannot be changed. Reinspect after any revision conflict.

    View tool JSON
    {
      "name": "design_update_components",
      "kind": "act",
      "impl": "imperative",
      "description": "Update supported properties, labels, or positions on existing design components. Human-protected components cannot be changed. Reinspect after any revision conflict.",
      "inputSchema": {
        "type": "object",
        "additionalProperties": false,
        "required": [
          "expectedRevision",
          "updates"
        ],
        "properties": {
          "expectedRevision": {
            "type": "integer",
            "minimum": 0
          },
          "updates": {
            "type": "array",
            "minItems": 1,
            "maxItems": 10,
            "items": {
              "type": "object",
              "additionalProperties": false,
              "required": [
                "componentId"
              ],
              "properties": {
                "componentId": {
                  "type": "string"
                },
                "label": {
                  "type": "string",
                  "minLength": 1,
                  "maxLength": 32
                },
                "position": {
                  "type": "object",
                  "additionalProperties": false,
                  "required": [
                    "x",
                    "y"
                  ],
                  "properties": {
                    "x": {
                      "type": "number"
                    },
                    "y": {
                      "type": "number"
                    }
                  }
                },
                "properties": {
                  "anyOf": [
                    {
                      "title": "DC source properties",
                      "type": "object",
                      "additionalProperties": false,
                      "properties": {
                        "voltage": {
                          "oneOf": [
                            {
                              "type": "number",
                              "minimum": 0.1,
                              "maximum": 24
                            },
                            {
                              "type": "string"
                            }
                          ],
                          "default": 9
                        },
                        "enabled": {
                          "type": "boolean",
                          "default": true
                        }
                      }
                    },
                    {
                      "title": "Ground properties",
                      "type": "object",
                      "additionalProperties": false,
                      "properties": {}
                    },
                    {
                      "title": "Resistor properties",
                      "type": "object",
                      "additionalProperties": false,
                      "properties": {
                        "resistanceOhms": {
                          "oneOf": [
                            {
                              "type": "number",
                              "minimum": 1,
                              "maximum": 10000000
                            },
                            {
                              "type": "string"
                            }
                          ],
                          "default": 330
                        },
                        "tolerance": {
                          "oneOf": [
                            {
                              "type": "number",
                              "minimum": 0,
                              "maximum": 1
                            },
                            {
                              "type": "string"
                            }
                          ],
                          "default": 0.05
                        }
                      }
                    },
                    {
                      "title": "LED properties",
                      "type": "object",
                      "additionalProperties": false,
                      "properties": {
                        "forwardVoltage": {
                          "type": "number",
                          "maximum": 5,
                          "exclusiveMinimum": 0,
                          "default": 2
                        },
                        "maxCurrentMilliamps": {
                          "type": "number",
                          "maximum": 50,
                          "exclusiveMinimum": 0,
                          "default": 25
                        },
                        "displayColor": {
                          "type": "string",
                          "enum": [
                            "red",
                            "amber",
                            "green",
                            "blue"
                          ],
                          "default": "red"
                        }
                      }
                    },
                    {
                      "title": "SPST switch properties",
                      "type": "object",
                      "additionalProperties": false,
                      "properties": {
                        "closed": {
                          "type": "boolean",
                          "default": true
                        }
                      }
                    },
                    {
                      "title": "Battery properties",
                      "type": "object",
                      "additionalProperties": false,
                      "properties": {
                        "voltage": {
                          "oneOf": [
                            {
                              "type": "number"
                            },
                            {
                              "type": "string"
                            }
                          ],
                          "default": 9
                        },
                        "capacityMilliampHours": {
                          "oneOf": [
                            {
                              "type": "number"
                            },
                            {
                              "type": "string"
                            }
                          ],
                          "default": 500
                        },
                        "standard": {
                          "type": "string",
                          "enum": [
                            "AA",
                            "AAA",
                            "9V",
                            "CR2032",
                            "18650",
                            "C"
                          ],
                          "default": "9V"
                        }
                      }
                    },
                    {
                      "title": "Current source properties",
                      "type": "object",
                      "additionalProperties": false,
                      "properties": {
                        "currentAmps": {
                          "oneOf": [
                            {
                              "type": "number"
                            },
                            {
                              "type": "string"
                            }
                          ],
                          "default": 0.02
                        },
                        "enabled": {
                          "type": "boolean",
                          "default": true
                        }
                      }
                    },
                    {
                      "title": "Capacitor properties",
                      "type": "object",
                      "additionalProperties": false,
                      "properties": {
                        "capacitanceFarads": {
                          "oneOf": [
                            {
                              "type": "number"
                            },
                            {
                              "type": "string"
                            }
                          ],
                          "default": 0.000001
                        },
                        "polarized": {
                          "type": "boolean",
                          "default": false
                        },
                        "voltageRating": {
                          "oneOf": [
                            {
                              "type": "number"
                            },
                            {
                              "type": "string"
                            }
                          ],
                          "default": 25
                        }
                      }
                    },
                    {
                      "title": "Inductor properties",
                      "type": "object",
                      "additionalProperties": false,
                      "properties": {
                        "inductanceHenries": {
                          "oneOf": [
                            {
                              "type": "number"
                            },
                            {
                              "type": "string"
                            }
                          ],
                          "default": 0.001
                        },
                        "maxCurrentAmps": {
                          "type": "number",
                          "exclusiveMinimum": 0,
                          "default": 0.1
                        }
                      }
                    },
                    {
                      "title": "Diode properties",
                      "type": "object",
                      "additionalProperties": false,
                      "properties": {
                        "forwardVoltage": {
                          "type": "number",
                          "maximum": 5,
                          "exclusiveMinimum": 0,
                          "default": 0.7
                        }
                      }
                    },
                    {
                      "title": "Zener diode properties",
                      "type": "object",
                      "additionalProperties": false,
                      "properties": {
                        "zenerVoltage": {
                          "type": "number",
                          "maximum": 200,
                          "exclusiveMinimum": 0,
                          "default": 5.1
                        }
                      }
                    },
                    {
                      "title": "Schottky diode properties",
                      "type": "object",
                      "additionalProperties": false,
                      "properties": {
                        "forwardVoltage": {
                          "type": "number",
                          "maximum": 5,
                          "exclusiveMinimum": 0,
                          "default": 0.3
                        }
                      }
                    },
                    {
                      "title": "Fuse properties",
                      "type": "object",
                      "additionalProperties": false,
                      "properties": {
                        "currentRatingAmps": {
                          "oneOf": [
                            {
                              "type": "number"
                            },
                            {
                              "type": "string"
                            }
                          ],
                          "default": 1
                        },
                        "voltageRating": {
                          "oneOf": [
                            {
                              "type": "number"
                            },
                            {
                              "type": "string"
                            }
                          ],
                          "default": 32
                        }
                      }
                    },
                    {
                      "title": "Potentiometer properties",
                      "type": "object",
                      "additionalProperties": false,
                      "properties": {
                        "resistanceOhms": {
                          "oneOf": [
                            {
                              "type": "number"
                            },
                            {
                              "type": "string"
                            }
                          ],
                          "default": 10000
                        },
                        "wiperPosition": {
                          "type": "number",
                          "minimum": 0,
                          "maximum": 1,
                          "default": 0.5
                        }
                      }
                    },
                    {
                      "title": "Push button properties",
                      "type": "object",
                      "additionalProperties": false,
                      "properties": {
                        "pressed": {
                          "type": "boolean",
                          "default": false
                        }
                      }
                    },
                    {
                      "title": "SPDT switch properties",
                      "type": "object",
                      "additionalProperties": false,
                      "properties": {
                        "position": {
                          "type": "string",
                          "enum": [
                            "a",
                            "b"
                          ],
                          "default": "a"
                        }
                      }
                    },
                    {
                      "title": "NPN BJT properties",
                      "type": "object",
                      "additionalProperties": false,
                      "properties": {
                        "beta": {
                          "type": "number",
                          "exclusiveMinimum": 0,
                          "default": 100
                        }
                      }
                    },
                    {
                      "title": "PNP BJT properties",
                      "type": "object",
                      "additionalProperties": false,
                      "properties": {
                        "beta": {
                          "type": "number",
                          "exclusiveMinimum": 0,
                          "default": 100
                        }
                      }
                    },
                    {
                      "title": "N-channel MOSFET properties",
                      "type": "object",
                      "additionalProperties": false,
                      "properties": {
                        "mode": {
                          "type": "string",
                          "enum": [
                            "enhancement",
                            "depletion"
                          ],
                          "default": "enhancement"
                        }
                      }
                    },
                    {
                      "title": "P-channel MOSFET properties",
                      "type": "object",
                      "additionalProperties": false,
                      "properties": {
                        "mode": {
                          "type": "string",
                          "enum": [
                            "enhancement",
                            "depletion"
                          ],
                          "default": "enhancement"
                        }
                      }
                    },
                    {
                      "title": "Op-amp properties",
                      "type": "object",
                      "additionalProperties": false,
                      "properties": {
                        "gain": {
                          "type": "number",
                          "exclusiveMinimum": 0,
                          "default": 100000
                        }
                      }
                    }
                  ]
                }
              }
            }
          }
        }
      }
    }
    design_remove_elementsAction

    Remove selected components or wires from the editable design. Removing a component also removes its attached wires. Human-protected elements are rejected.

    View tool JSON
    {
      "name": "design_remove_elements",
      "kind": "act",
      "impl": "imperative",
      "description": "Remove selected components or wires from the editable design. Removing a component also removes its attached wires. Human-protected elements are rejected.",
      "inputSchema": {
        "type": "object",
        "additionalProperties": false,
        "required": [
          "expectedRevision",
          "reason"
        ],
        "properties": {
          "expectedRevision": {
            "type": "integer",
            "minimum": 0
          },
          "componentIds": {
            "type": "array",
            "maxItems": 20,
            "items": {
              "type": "string"
            }
          },
          "wireIds": {
            "type": "array",
            "maxItems": 30,
            "items": {
              "type": "string"
            }
          },
          "reason": {
            "type": "string",
            "minLength": 1,
            "maxLength": 240
          }
        }
      }
    }
    design_validate_and_simulateAction

    Validate the current design and asynchronously run the selected local simulation engine. Await the final result before inspecting component voltages, current, output state, or compatibility blockers.

    View tool JSON
    {
      "name": "design_validate_and_simulate",
      "kind": "act",
      "impl": "imperative",
      "description": "Validate the current design and asynchronously run the selected local simulation engine. Await the final result before inspecting component voltages, current, output state, or compatibility blockers.",
      "inputSchema": {
        "type": "object",
        "additionalProperties": false,
        "required": [
          "expectedRevision"
        ],
        "properties": {
          "expectedRevision": {
            "type": "integer",
            "minimum": 0
          },
          "preferredEngineId": {
            "type": "string",
            "enum": [
              "deterministic",
              "spice"
            ]
          }
        }
      }
    }
    bench_request_measurementAction

    Ask the human to perform one voltage or continuity measurement between two exact test-point IDs. This highlights the points and opens the virtual multimeter, but it cannot take or return the measurement itself.

    View tool JSON
    {
      "name": "bench_request_measurement",
      "kind": "act",
      "impl": "imperative",
      "description": "Ask the human to perform one voltage or continuity measurement between two exact test-point IDs. This highlights the points and opens the virtual multimeter, but it cannot take or return the measurement itself.",
      "inputSchema": {
        "type": "object",
        "additionalProperties": false,
        "required": [
          "mode",
          "firstTestPointId",
          "secondTestPointId",
          "purpose"
        ],
        "properties": {
          "mode": {
            "type": "string",
            "enum": [
              "dc_voltage",
              "continuity"
            ]
          },
          "firstTestPointId": {
            "type": "string"
          },
          "secondTestPointId": {
            "type": "string"
          },
          "purpose": {
            "type": "string",
            "minLength": 1,
            "maxLength": 240
          }
        }
      }
    }
    bench_update_hypothesesAction

    Publish concise diagnostic hypotheses into the shared UI. Every hypothesis must cite existing human-performed measurement IDs.

    View tool JSON
    {
      "name": "bench_update_hypotheses",
      "kind": "act",
      "impl": "imperative",
      "description": "Publish concise diagnostic hypotheses into the shared UI. Every hypothesis must cite existing human-performed measurement IDs.",
      "inputSchema": {
        "type": "object",
        "additionalProperties": false,
        "required": [
          "hypotheses"
        ],
        "properties": {
          "hypotheses": {
            "type": "array",
            "maxItems": 8,
            "items": {
              "type": "object",
              "additionalProperties": false,
              "required": [
                "targetType",
                "targetId",
                "confidence",
                "evidenceIds",
                "explanation"
              ],
              "properties": {
                "targetType": {
                  "type": "string",
                  "enum": [
                    "component",
                    "wire"
                  ]
                },
                "targetId": {
                  "type": "string"
                },
                "confidence": {
                  "type": "number",
                  "minimum": 0,
                  "maximum": 1
                },
                "evidenceIds": {
                  "type": "array",
                  "items": {
                    "type": "string"
                  }
                },
                "explanation": {
                  "type": "string",
                  "minLength": 1,
                  "maxLength": 280
                }
              }
            }
          }
        }
      }
    }
    bench_stage_repairAction

    Stage an evidence-backed bench repair for human review. At least two completed human measurements are required. This never applies the repair.

    View tool JSON
    {
      "name": "bench_stage_repair",
      "kind": "act",
      "impl": "imperative",
      "description": "Stage an evidence-backed bench repair for human review. At least two completed human measurements are required. This never applies the repair.",
      "inputSchema": {
        "type": "object",
        "additionalProperties": false,
        "required": [
          "target",
          "action",
          "evidenceIds",
          "expectedOutcome"
        ],
        "properties": {
          "target": {
            "oneOf": [
              {
                "type": "object",
                "additionalProperties": false,
                "required": [
                  "type",
                  "componentId"
                ],
                "properties": {
                  "type": {
                    "const": "component"
                  },
                  "componentId": {
                    "type": "string"
                  }
                }
              },
              {
                "type": "object",
                "additionalProperties": false,
                "required": [
                  "type",
                  "wireId"
                ],
                "properties": {
                  "type": {
                    "const": "wire"
                  },
                  "wireId": {
                    "type": "string"
                  }
                }
              }
            ]
          },
          "action": {
            "type": "string",
            "enum": [
              "reconnect_wire",
              "replace_component",
              "correct_value",
              "reverse_component"
            ]
          },
          "evidenceIds": {
            "type": "array",
            "minItems": 2,
            "items": {
              "type": "string"
            }
          },
          "expectedOutcome": {
            "type": "string",
            "minLength": 1,
            "maxLength": 280
          }
        }
      }
    }
    bench_verifyAction

    After the human approves a staged repair, compare the virtual bench outputs with the intended design and report whether they match.

    View tool JSON
    {
      "name": "bench_verify",
      "kind": "act",
      "impl": "imperative",
      "description": "After the human approves a staged repair, compare the virtual bench outputs with the intended design and report whether they match.",
      "inputSchema": {
        "type": "object",
        "additionalProperties": false,
        "properties": {}
      }
    }