cancel_crawl
Stop a running or pending documentation crawl by job ID, leaving stored corpus and crawl history unchanged. Has no effect on jobs already finished.
Instructions
Cancel a running or pending crawl job by job ID. The previously stored corpus and crawl history are left untouched. Has no effect on jobs already in a terminal state.
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": {
"job_id": "<job_id>"
},
"name": "cancel_crawl"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| job_id | Yes | The job ID returned by crawl_site |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| job_id | Yes | ||
| status | Yes | ||
| message | Yes | ||
| site_key | Yes | ||
| cancelled | Yes | false when the job was already in a terminal state |