Tool details
| Field | Value |
|---|---|
| Name | delete_sandbox_session |
| Group | Sandbox |
Playground
Input schema
Input schema
{
"type": "object",
"properties": {
"id": {
"type": "string",
"description": "Sandbox session ID"
},
"confirm": {
"type": "boolean",
"description": "Must be true to confirm deletion"
}
},
"required": [
"id",
"confirm"
],
"additionalProperties": false,
"description": "Input schema for the delete_sandbox_session tool.",
"$schema": "http://json-schema.org/draft-07/schema#"
}
Output schema
Output schema
{
"type": "object",
"properties": {
"success": {
"type": "boolean",
"description": "Whether the operation completed successfully."
},
"id": {
"type": [
"string",
"null"
],
"description": "Unique identifier for the returned record."
},
"error": {
"type": [
"string",
"null"
],
"description": "Error details returned by the tool."
}
},
"required": [
"success",
"id",
"error"
],
"additionalProperties": false,
"description": "Structured result returned by the delete_sandbox_session tool.",
"$schema": "http://json-schema.org/draft-07/schema#"
}