Server Configuration
Describes the environment variables required to run the server.
| Name | Required | Description | Default |
|---|---|---|---|
| GITHUB_API_URL | No | GitHub API URL (defaults to https://api.github.com for GitHub.com, use your instance URL for GitHub Enterprise) | https://api.github.com |
| GITHUB_API_VERSION | No | GitHub API version to use (e.g. 2022-11-28) | |
| GITHUB_PERSONAL_ACCESS_TOKEN | Yes | GitHub Personal Access Token with appropriate permissions (repo scope for private repos, public_repo for public repos only) |
Schema
Prompts
Interactive templates invoked by user choice
| Name | Description |
|---|---|
No prompts | |
Resources
Contextual data attached and managed by the client
| Name | Description |
|---|---|
No resources | |
Tools
Functions exposed to the LLM to take actions
| Name | Description |
|---|---|
| search-repositories | Search for GitHub repositories |
| create-repository | Create a new GitHub repository in your account |
| update-repository | Update an existing GitHub repository |
| delete-repository | Delete a GitHub repository |
| create-branch | Create a new branch in a GitHub repository |
| list-commits | Get list of commits of a branch in a GitHub repository |
| list-workflows | List workflows in a GitHub repository |
| list-workflow-runs | List workflow runs in a GitHub repository |
| trigger-workflow | Trigger a workflow run in a GitHub repository |
| create-or-update-file | Create or update a single file in a GitHub repository |
| push-files | Push multiple files to a GitHub repository in a single commit |
| get-file-contents | Get the contents of a file or directory from a GitHub repository |
| fork-repository | Fork a GitHub repository to your account or specified organization |
| list-issues | List and filter repository issues |
| get-issue | Get details of a specific issue in a GitHub repository. |
| create-issue | Create a new issue in a GitHub repository |
| update-issue | Update an existing issue in a GitHub repository |
| add-issue-comment | Add a comment to an existing issue |
| list-pull-requests | List and filter repository pull requests |
| get-pull-request | Get details of a specific pull request |
| create-pull-request | Create a new pull request in a GitHub repository |
| create-pull-request-review | Create a review on a pull request |
| merge-pull-request | Merge a pull request |
| get-pull-request-files | Get the list of files changed in a pull request |
| get-pull-request-status | Get the combined status of all status checks for a pull request |
| update-pull-request-branch | Update a pull request branch with the latest changes from the base branch |
| get-pull-request-comments | Get the review comments on a pull request |
| get-pull-request-reviews | Get the reviews on a pull request |
| search-code | Search for code across GitHub repositories |
| search-issues | Search for issues and pull requests across GitHub repositories |
| search-users | Search for users on GitHub |
| get-license-info | Get information about commonly used licenses on GitHub |
| get-enterprise-stats | Get GitHub Enterprise statistics (only available for GitHub Enterprise) |