core/tools: register glob_paths and grep_files in DEFAULT_TOOLS

Wire new search tools into FILE_TOOLS and document them.
This commit is contained in:
2026-07-15 10:15:26 +08:00
parent c2d132de09
commit f1ea392c1c
3 changed files with 7 additions and 1 deletions
+1 -1
View File
@@ -65,7 +65,7 @@ Async SQLAlchemy + aiosqlite. `MemoryStore`: schema init (+ lightweight SQLite `
Module-level `@tool` handlers. Call `set_workspace_root()` before use. Module-level `@tool` handlers. Call `set_workspace_root()` before use.
- **`workspace`**: path resolve under root; path substring denylist; command basename denylist; clearer deny messages. - **`workspace`**: path resolve under root; path substring denylist; command basename denylist; clearer deny messages.
- **`file`**: `read_file`, `write_file`, `listdir`, `tree`, `edit_replace`, `edit_lineno` (1-based range), `copy_path` / `move_path` / `delete_path`. - **`file`**: `read_file`, `write_file`, `listdir`, `tree`, `glob_paths`, `grep_files` (regex, skip VCS/binary), `edit_replace`, `edit_lineno` (1-based range), `copy_path` / `move_path` / `delete_path`.
- **`process`**: `run_command` (argv, no shell, timeout, optional stdin/env); PTY `open_pty` / `read_pty` / `write_pty` / `close_pty` (**Unix only**: `pty`+`fork`). - **`process`**: `run_command` (argv, no shell, timeout, optional stdin/env); PTY `open_pty` / `read_pty` / `write_pty` / `close_pty` (**Unix only**: `pty`+`fork`).
- PTY: structured status (`alive`/`exit_code`/`data`); `read_pty(..., until=)`; session limit/idle TTL/output budget; close SIGTERM→SIGKILL. - PTY: structured status (`alive`/`exit_code`/`data`); `read_pty(..., until=)`; session limit/idle TTL/output budget; close SIGTERM→SIGKILL.
- CLI limit hooks: interactive confirm to raise tool-loop rounds, PTY session cap, or PTY output budget. - CLI limit hooks: interactive confirm to raise tool-loop rounds, PTY session cap, or PTY output budget.
+2
View File
@@ -4,6 +4,8 @@ from .file import copy_path as copy_path
from .file import delete_path as delete_path from .file import delete_path as delete_path
from .file import edit_lineno as edit_lineno from .file import edit_lineno as edit_lineno
from .file import edit_replace as edit_replace from .file import edit_replace as edit_replace
from .file import glob_paths as glob_paths
from .file import grep_files as grep_files
from .file import listdir as listdir from .file import listdir as listdir
from .file import move_path as move_path from .file import move_path as move_path
from .file import read_file as read_file from .file import read_file as read_file
+4
View File
@@ -3,6 +3,8 @@ from .edit_replace import edit_replace as edit_replace
from .fs_ops import copy_path as copy_path from .fs_ops import copy_path as copy_path
from .fs_ops import delete_path as delete_path from .fs_ops import delete_path as delete_path
from .fs_ops import move_path as move_path from .fs_ops import move_path as move_path
from .glob_paths import glob_paths as glob_paths
from .grep_files import grep_files as grep_files
from .listdir import listdir as listdir from .listdir import listdir as listdir
from .read import read_file as read_file from .read import read_file as read_file
from .tree import tree as tree from .tree import tree as tree
@@ -13,6 +15,8 @@ FILE_TOOLS = [
write_file, write_file,
listdir, listdir,
tree, tree,
glob_paths,
grep_files,
edit_replace, edit_replace,
edit_lineno, edit_lineno,
copy_path, copy_path,