{
  "type": "object",
  "description": "Request body for zip file extraction",
  "name": "FileExtractRequest",
  "properties": {
    "path": {
      "type": "string",
      "description": "Path to the zip file in the developer file system"
    }
  },
  "required": [
    "path"
  ],
  "$schema": "https://json-structure.org/draft/2020-12/schema"
}