github-grep

Search GitHub issues and PRs locally using grep instead of the GitHub API. Use when the user asks about issues, bugs, feature requests, or wants to search across issue comments. Provides 10-50x faster search with full regex and comment search support.