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) |