All Tools/Search

Search

Universal search tool that searches across all GitHub resources using natural language or GitHub search syntax. Searches issues, pull requests, repositories, code, users, and topics. Returns ranked re…

Active
View Github Tools

Providers

This tool works seamlessly with the following services

Github

GitHub is the world's leading software development platform. Full CRUD operations for repositories, issues, pull requests, comments, and labels. Create issues, merge PRs, manage repos, and automate workflows through the GitHub REST API.

Available in Bundles

Github Tools

developer tools

GitHub is the world's leading software development platform. Full CRUD operations for repositories, issues, pull requests, comments, and labels. Create issues, merge PRs, manage repos, and automate workflows through the GitHub REST API.

Tool Information

Status
Active
Version
1.0.0
CreatedOctober 17, 2025
UpdatedNovember 3, 2025

Ready to Use?

Sign in to start using this tool with your AI assistants.

Search [C0B] - Github • MCP Tools