Write sandbox files

{
  "type": "object",
  "properties": {
    "id": {
      "type": "string",
      "description": "Sandbox session ID returned by create_sandbox_session"
    },
    "files": {
      "type": "array",
      "items": {
        "type": "object",
        "properties": {
          "path": {
            "type": "string",
            "description": "Absolute path for the file inside the sandbox"
          },
          "content": {
            "type": "string",
            "description": "File content"
          }
        },
        "required": [
          "path",
          "content"
        ],
        "additionalProperties": false,
        "description": "One file item supplied to the tool."
      },
      "description": "Files to write as a JSON array; do not pass a stringified JSON blob"
    }
  },
  "required": [
    "id",
    "files"
  ],
  "additionalProperties": false,
  "description": "Input schema for the write_sandbox_files tool.",
  "$schema": "http://json-schema.org/draft-07/schema#"
}

{
  "type": "object",
  "properties": {
    "written": {
      "type": "integer",
      "minimum": 0,
      "description": "The written associated with this tool result."
    }
  },
  "required": [
    "written"
  ],
  "additionalProperties": true,
  "description": "Structured result returned by the write_sandbox_files tool.",
  "$schema": "http://json-schema.org/draft-07/schema#"
}