Server Configuration
Describes the environment variables required to run the server.
| Name | Required | Description | Default |
|---|---|---|---|
| GITHUB_PERSONAL_ACCESS_TOKEN | No | GitHub Personal Access Token with appropriate permissions (repo scope for full repository access or public_repo for public repositories only). This is optional as the token can also be provided dynamically per request. |
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 |
|---|---|
| create_or_update_file | Create or update a single file in a GitHub repository |
| search_repositories | Search for GitHub repositories |
| create_repository | Create a new GitHub repository in your account |
| get_file_contents | Get the contents of a file or directory from a GitHub repository |
| push_files | Push multiple files to a GitHub repository in a single commit |
| create_issue | Create a new issue in a GitHub repository |
| create_pull_request | Create a new pull request in a GitHub repository |
| fork_repository | Fork a GitHub repository to your account or specified organization |
| create_branch | Create a new branch in a GitHub repository |
| list_commits | Get list of commits of a branch in a GitHub repository |
| list_issues | List issues in a GitHub repository with filtering options |
| update_issue | Update an existing issue in a GitHub repository |
| add_issue_comment | Add a comment to an existing issue |
| 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_issue | Get details of a specific issue in a GitHub repository. |
| create_release | Create a new release in a GitHub repository |
| list_releases | List releases for a GitHub repository |
| delete_release | Delete a release from a GitHub repository |
| get_release_asset | Get a release asset from a GitHub repository |
| upload_release_asset | Upload an asset to a GitHub release |
| create_tag | Create a new tag in a GitHub repository |
| create_pull_request_review | Create a review for a pull request |
| submit_pull_request_review | Submit a pull request review (approve, request changes, or comment) |
| dismiss_pull_request_review | Dismiss a pull request review |
| create_commit_status | Create a status for a commit (build passed/failed, etc.) |
| get_commit_statuses | Get statuses for a commit |
| get_combined_status | Get the combined status for a commit |
| get_rate_limit | Check the current rate limit status |
| create_gist | Create a new gist |
| list_gists | List gists for the authenticated user |
| get_gist | Get a specific gist |
| list_projects | List projects for a repository |
| create_project | Create a new project for a repository |
| list_project_columns | List columns for a project |
| create_project_column | Create a new column for a project |
| create_project_card | Create a new card in a project column |
| list_org_packages | List packages for an organization |
| list_user_packages | List packages for a user |
| list_repo_packages | List packages for a repository |
| get_org_package | Get a package for an organization |
| get_user_package | Get a package for a user |
| get_repo_package | Get a package for a repository |
| get_pull_request_diff | Get the diff for a pull request |