Detect client disconnects and cancel tool calls#3782

Merged

DOsinga merged 8 commits intomainfrom

jackamadeo/cancel-tools

Aug 5, 2025

Commits on Aug 1, 2025

Commits on Aug 2, 2025

lint fix
jamadeo
committed

Commits on Aug 4, 2025

Merge remote-tracking branch 'origin/main' into jackamadeo/cancel-tools
jamadeo
committed