Search GitHub repositories by keyword or topic.

Use this when the user wants to discover repositories — e.g. "find Python HTTP libraries", "search for machine learning repos", or "what are popular React starter templates?".

Args: query: GitHub search query. Supports qualifiers like: - "language:python" to filter by language - "stars:>1000" to filter by star count - "topic:machine-learning" to filter by topic Examples: "fastapi", "react hooks language:typescript stars:>500" sort: Sort results by: "stars" (default), "forks", "updated", or "best-match" limit: Number of results to return (1-30, default 10)

Get detailed information about a specific GitHub repository.

Use this when the user asks about a known repository — e.g. "tell me about the django/django repo", "how many stars does torvalds/linux have?", or "what language is facebook/react written in?".

Args: owner: The repository owner — a GitHub username or organisation name. Examples: "microsoft", "torvalds", "psf" repo: The repository name (not the full URL, just the name). Examples: "vscode", "linux", "cpython"

List issues for a GitHub repository.

Use this when the user wants to see what bugs, feature requests, or tasks are open in a project — e.g. "what issues are open in pallets/flask?", "show me recently updated closed issues in django/django".

Args: owner: Repository owner (GitHub username or organisation). repo: Repository name. state: Filter by issue state: "open" (default), "closed", or "all". limit: Max number of issues to return (1-50, default 20).

Get the full details and description of a specific GitHub issue.

Use this when the user wants to read the body/description of an issue — e.g. "what does issue #42 in pallets/flask say?", "show me the details of issue 1500 in django/django".

Args: owner: Repository owner (GitHub username or organisation). repo: Repository name. issue_number: The issue number shown in the GitHub URL after /issues/

List pull requests for a GitHub repository.

Use this when the user wants to see what code changes are proposed or recently merged — e.g. "what PRs are open in fastapi/fastapi?", "show me recent merged PRs in torvalds/linux".

Args: owner: Repository owner (GitHub username or organisation). repo: Repository name. state: Filter by PR state: "open" (default), "closed", or "all". limit: Max number of PRs to return (1-50, default 20).