Proving Lab

{
  "type": "object",
  "properties": {},
  "additionalProperties": false
}

{
  "type": "object",
  "properties": {
    "dataset": {
      "type": "string",
      "description": "Dataset URL or bare filename"
    }
  },
  "required": [
    "dataset"
  ],
  "additionalProperties": false
}

{
  "type": "object",
  "properties": {
    "name": {
      "type": "string"
    }
  },
  "additionalProperties": false
}

{
  "type": "object",
  "properties": {
    "url": {
      "type": "string",
      "description": "Address of the page to read"
    }
  },
  "required": [
    "url"
  ],
  "additionalProperties": false
}

{
  "type": "object",
  "properties": {
    "urls": {
      "type": "array",
      "items": {
        "type": "string"
      },
      "description": "Addresses to read, at most 50"
    }
  },
  "required": [
    "urls"
  ],
  "additionalProperties": false
}

{
  "type": "object",
  "properties": {
    "purpose": {
      "type": "string",
      "enum": [
        "citation",
        "figure",
        "archive",
        "ocr"
      ],
      "description": "what the capture is for"
    }
  }
}

{
  "type": "object",
  "properties": {
    "agent": {
      "type": "string",
      "enum": [
        "input-events",
        "dom-only",
        "no-browser",
        "human",
        "unknown"
      ],
      "description": "How you act on the browser. 'input-events' if you produce real mouse or keyboard events (computer use, xdotool, an agent inside the user's browser); 'dom-only' for CDP or Playwright without OS input; 'no-browser' for plain HTTP; 'human' when writing instructions for a person. Omit if unsure — the answer then covers all of them."
    },
    "browser": {
      "type": "string",
      "enum": [
        "firefox",
        "chrome",
        "edge",
        "brave",
        "vivaldi",
        "opera",
        "android",
        "any"
      ],
      "description": "Target browser, if known."
    }
  },
  "additionalProperties": false
}

{
  "type": "object",
  "properties": {
    "action": {
      "type": "string",
      "enum": [
        "install",
        "uninstall",
        "both"
      ],
      "description": "What you need. 'both' is the default and returns each direction — an install without its matching removal leaves a machine changed."
    },
    "browser": {
      "type": "string",
      "enum": [
        "firefox",
        "chrome",
        "any"
      ],
      "description": "Target browser. Omit for both."
    }
  },
  "additionalProperties": false
}

{
  "type": "object",
  "properties": {
    "label": {
      "type": "string",
      "description": "Filter by label. 'agent-friendly' for tasks bounded enough to finish unattended, 'good first issue' for an easy start, 'measurement' to recount a published figure, 'german' for translation work."
    }
  },
  "additionalProperties": false
}