{
  "tools": [
    {
      "name": "workspace.delete_file",
      "description": "Delete a file or folder and return the removed path.",
      "inputSchema": {
        "type": "object",
        "properties": {
          "path": {
            "type": "string",
            "maxLength": 120,
            "pattern": "^workspace/[A-Za-z0-9_-]+[.]txt$"
          },
          "confirm": {
            "type": "boolean",
            "const": true
          }
        },
        "required": [
          "path",
          "confirm"
        ],
        "additionalProperties": false
      },
      "annotations": {
        "readOnlyHint": false,
        "destructiveHint": true,
        "idempotentHint": true,
        "openWorldHint": false
      }
    }
  ]
}