Github Project Manager

Server Configuration

Describes the environment variables required to run the server.

NameRequiredDescriptionDefault
GITHUB_PERSONAL_TOKENYesGitHub Personal Access Token used for authentication to the GitHub API

Schema

Prompts

Interactive templates invoked by user choice

NameDescription

No prompts

Resources

Contextual data attached and managed by the client

NameDescription

No resources

Tools

Functions exposed to the LLM to take actions

NameDescription
create_issue

Create a new issue in a GitHub repository

update_issue

Update an existing issue in a GitHub repository

list_issues

List issues in a GitHub repository with filtering options

get_issue

Get details of a specific issue in a GitHub repository.

add_issue_comment

Add a comment to an existing issue

create_project

Create a new GitHub project board

add_project_item

Add an issue or pull request to a GitHub project

update_project_item

Move an item between columns in a GitHub project

list_project_items

List items in a GitHub project

create_pull_request

Create a new pull request in a GitHub repository

update_pull_request

Update an existing pull request in a GitHub repository

list_pull_requests

List pull requests in a GitHub repository with filtering options

get_pull_request

Get details of a specific pull request in a GitHub repository

merge_pull_request

Merge a pull request

is_pull_request_merged

Check if a pull request has been merged

create_pull_request_review

Create a review for a pull request

list_pull_request_reviews

List reviews for a pull request

create_pull_request_review_comment

Create a review comment for a pull request

list_pull_request_review_comments

List review comments for a pull request

request_reviewers

Request reviewers for a pull request

remove_requested_reviewers

Remove requested reviewers from a pull request

update_pull_request_branch

Update a pull request branch with the latest upstream changes