Grep App

Tools · 4

• searchCode Search for code across public GitHub repositories with support for filtering by language, repository, file path, and output formats like JSON or numbered lists.
• github_file Fetch a single file from a GitHub repository by specifying owner, repo, path, and optional branch/commit/tag reference.
• github_batch_files Fetch multiple files from GitHub repositories in parallel by providing an array of file objects with owner, repo, path, and optional ref.
• batch_retrieve_files Retrieve files from previously cached search results using the original search query and optional array of result indices.