Keir Mierle f27809703d Add a local telemetry launcher (#1015)

2025-06-13 18:08:03 -07:00

..

index.md

rename shell tool more intuitively as run_shell_command (from historical name of execute_bash_command inherited from terminal tool) (#869)

2025-06-09 08:57:30 -07:00

telemetry.md

Add a local telemetry launcher (#1015)

2025-06-13 18:08:03 -07:00

tools-api.md

Revert "Add batch editing capabilities to Edit Tool (#648)" (#857)

2025-06-08 23:20:43 +00:00