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.