diff options
| -rw-r--r-- | agents/dev/tools.txt | 9 | ||||
| -rwxr-xr-x | tools/execute_command.sh | 3 |
2 files changed, 3 insertions, 9 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 diff --git a/tools/execute_command.sh b/tools/execute_command.sh index c6504bf..083fe97 100755 --- a/tools/execute_command.sh +++ b/tools/execute_command.sh @@ -9,7 +9,7 @@ ROOT_DIR="${LLM_ROOT_DIR:-$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)}" OUT_PATH="${LLM_OUTPUT:-/dev/stdout}" # Max bytes per stream to avoid flooding aichat -MAX_BYTES="${LLM_MAX_BYTES:-200000}" +MAX_BYTES="${LLM_MAX_BYTES:-1000000}" sanitize() { # Ensures valid UTF-8 output; drops invalid byte sequences @@ -88,4 +88,3 @@ main() { eval "$(argc --argc-eval "$0" "$@")" main - |