cancel_case
Request cancellation of a queued or active job and its solver process tree by specifying the case ID.
Instructions
Request cancellation of this service's queued or active job and its solver process tree.
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": {
"case_id": "<case_id>"
},
"name": "cancel_case"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| case_id | Yes |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||