Tool details
| Field | Value |
|---|---|
| Name | get_sandbox_session |
| Group | Sandbox |
Playground
Input schema
Input schema
{
"type": "object",
"properties": {
"id": {
"type": "string",
"description": "Sandbox session ID"
}
},
"required": [
"id"
],
"additionalProperties": false,
"description": "Input schema for the get_sandbox_session tool.",
"$schema": "http://json-schema.org/draft-07/schema#"
}
Output schema
Output schema
{
"type": "object",
"properties": {
"id": {
"type": "string",
"description": "Unique identifier for the returned record."
},
"short_id": {
"type": "string",
"description": "The short id associated with this tool result."
},
"endpoint": {
"type": "string",
"description": "The endpoint associated with this tool result."
},
"status": {
"type": "string",
"description": "Lifecycle status for the returned record."
},
"created_at": {
"type": "string",
"description": "Creation timestamp in ISO 8601 format."
}
},
"required": [
"id",
"short_id",
"endpoint",
"status",
"created_at"
],
"additionalProperties": false,
"description": "Structured result returned by the get_sandbox_session tool.",
"$schema": "http://json-schema.org/draft-07/schema#"
}