diff options
Diffstat (limited to 'agents/dev')
| -rw-r--r-- | agents/dev/tools.txt | 9 |
1 files changed, 2 insertions, 7 deletions
diff --git a/agents/dev/tools.txt b/agents/dev/tools.txt index bfdd625..d874171 100644 --- a/agents/dev/tools.txt +++ b/agents/dev/tools.txt @@ -1,7 +1,2 @@ -execute_command.sh -fs_patch.sh -fs_cat.sh -fs_mkdir.sh -fs_ls.sh -fs_write.sh -fs_rm.sh +execute_command +web_search |