Server Configuration
Describes the environment variables required to run the server.
| Name | Required | Description | Default |
|---|---|---|---|
| GITHUB_PERSONAL_ACCESS_TOKEN | Yes | GitHub Personal Access Token with appropriate repository permissions |
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. |
| get_pull_request | Get details of a specific pull request |
| list_pull_requests | List and filter repository pull requests |
| 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 |
| create_project | Create a new project in a GitHub repository |
| get_project | Get details about a specific project |
| delete_issue | Delete an issue from a GitHub repository using GraphQL API |
| update_project | Update an existing project's details |
| list_projects | List all projects in a GitHub repository |
| create_project_column | Create a new column in a project |
| list_project_columns | List all columns in a project |
| update_project_column | Update an existing project column |
| delete_project_column | Delete a project column |
| add_card_to_column | Add a new card to a project column |
| list_column_cards | List all cards in a project column |
| move_card | Move a card to a different position or column |
| delete_card | Delete a card from a project |
| list_organization_projects | List all projects in a GitHub organization (at organization level, not repository level) |
| list_organization_projects_v2 | List projects V2 in a GitHub organization using GraphQL API |
| get_project_v2 | Get details of a GitHub project V2 using GraphQL API |
| create_project_v2 | Create a new GitHub project V2 using GraphQL API |
| update_project_v2 | Update a GitHub project V2 using GraphQL API |
| add_item_to_project_v2 | Add an issue or pull request to a GitHub project V2 using GraphQL API |
| list_project_v2_items | List items in a GitHub project V2 using GraphQL API |
| update_project_v2_item_field | Update a field value for an item in a GitHub project V2 using GraphQL API |