{
  "tools": [
    {
      "name": "clipboard_copy",
      "description": "Copy text to the system clipboard. After the call, report the returned byte count and backend and do not reprint the copied text in the session.",
      "inputSchema": {
        "type": "object",
        "required": ["text"],
        "additionalProperties": false,
        "properties": {
          "text": {
            "type": "string",
            "description": "The text to write to the clipboard. Sent verbatim — no trailing newline is appended."
          }
        }
      }
    },
    {
      "name": "clipboard_copy_file",
      "description": "Copy the contents of a file to the system clipboard. Use this when the content is already on disk (e.g. a temp file you just wrote) instead of inlining it as text. After the call, report the returned byte count, backend, and path and do not reprint the file contents in the session.",
      "inputSchema": {
        "type": "object",
        "required": ["path"],
        "additionalProperties": false,
        "properties": {
          "path": {
            "type": "string",
            "pattern": "^/",
            "description": "Absolute filesystem path to the file whose contents should be copied. Must start with '/'."
          }
        }
      }
    }
  ]
}