## Summary Add a KillShell tool to terminate background bash processes. ## Target API ```json { "task_id": "abc123" } ``` ## Use Case Companion to bash `run_in_background` parameter. Allows terminating long-running processes. ## Implementation Notes - Requires tracking spawned processes by ID - Should also support listing active background tasks - Depends on #66 (bash run_in_background)
Summary
Add a KillShell tool to terminate background bash processes.
Target API
{ "task_id": "abc123" }Use Case
Companion to bash
run_in_backgroundparameter. Allows terminating long-running processes.Implementation Notes