Grep a cloned repository
repo_grepSearch a previously cloned repository for a substring, optionally restrict by glob, and get file paths, line numbers, and matching lines.
Instructions
Search the text contents of a previously cloned repository (by handle) for a substring. Optionally restrict to files matching a glob. Returns file paths, line numbers, and matching lines. If truncated is set, narrow the search with a longer query or a glob rather than paging.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| glob | No | Optional glob filter, e.g. '**/*.yaml'. | |
| limit | No | Max number of matching lines to return. | |
| query | Yes | Substring to search for across the repo's text files. | |
| handle | Yes | The clone handle from repo_clone. | |
| case_sensitive | No | Match case-sensitively. |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| query | Yes | ||
| handle | Yes | ||
| matches | Yes | ||
| truncated | Yes | ||
| total_matches | Yes |