I/Q: Allow searching multiple files at once
- Dominant language
- Isabelle
- Stars
- 105
- Forks
- 27
- Avg merge
- 12h 45m
- Merged PRs (30d)
- 7
Description
The current search tool operates on one file only. It should be possible to specify a directory or a pattern. For files which are not tracked, this should use the file content from the FS. For tracked files, it should use the buffer content.
Otherwise, agents may fall back to using standard FS tools for multi-file/directory search, thereby getting stale results in case some files have been edited but not yet saved.
Contributor guide
Research direction
Start by locating the current single-file search tool and tracing how it reads tracked and untracked files. Define the directory or pattern behavior from the issue, then verify that tracked files use buffer content while untracked files use filesystem content; no tests or file paths are named in the issue.
Written by the indexing model from the issue text.
Assessment
- Domain
- tooling
- Issue type
- Feature
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 35/100