SIGN IN SIGN UP

Delete execute_prompt tool (#1174)

* Delete execute_prompt tool
Rename execute_task to execute_prompt, add a real setting

* Clean up

* Not advanced, change default

* fix
R
Rob Lourens committed
42e7dee83ae5d6c01e1725302a9a118380cd9800
Parent: 61325a7
Committed by GitHub <noreply@github.com> on 9/27/2025, 7:31:52 AM