We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
request_id
Describe the bug When trying to cancel a tool by sending a cancel notification, there is no way to know request_id.
It would be useful to set a request id during the tool call.
To Reproduce Try cancelling a tool call
Expected behavior Have a reques_id known to cancel it
reques_id