An AI agent for your development workflow that can search and manipulate the code base, browse the internet and interact with Github issues and pull requests
Currently, PR Pilot has tools like list_directory and read_files, which can be inefficient when looking for specific file names. To improve this, we should add a new tool called find_files that utilizes the find command line tool to locate files more efficiently.
Tasks
Implement the find_files tool.
Integrate the tool into the existing system.
Write tests to ensure the tool works correctly.
Rationale
Using the find command line tool will make it easier and faster to locate specific files, improving the overall efficiency of the PR Pilot.
Description
Currently, PR Pilot has tools like
list_directory
andread_files
, which can be inefficient when looking for specific file names. To improve this, we should add a new tool calledfind_files
that utilizes thefind
command line tool to locate files more efficiently.Tasks
find_files
tool.Rationale
Using the
find
command line tool will make it easier and faster to locate specific files, improving the overall efficiency of the PR Pilot.Related Files
list_directory
read_files
Labels