pub fn execute_tool( sandbox: &Path, scheds_root: Option<&Path>, name: &str, args_json: &str, allow_edit: bool, ) -> Result<String>
Dispatch a tool call. allow_edit gates edit_file.
allow_edit
edit_file