Release Session Lease
terminal_release_leaseRelease an exclusive terminal session lease held by a specific owner to free the session for other operators or AI agents.
Instructions
Release an exclusive Session lease owned by this operation.
Tool call template
Replace each placeholder with a value matching the input schema. Only required parameters are included; add optional parameters as needed.
{
"id": 1,
"jsonrpc": "2.0",
"method": "tools/call",
"params": {
"arguments": {
"session_id": "<session_id>",
"owner": "<owner>"
},
"name": "terminal_release_lease"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| owner | Yes | Opaque caller-generated lease owner capability. | |
| session_id | Yes | Active Session ID or short reference. |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| released | Yes |