{"ok":true,"name":"dsh-tools","tools":["dsh_ask","bash","read_file","write_file","list_dir","glob","grep","web_fetch","web_search"]}