6 months ago
Repository management, file operations, and GitHub API integration
Tools
create_or_update_file
search_repositories
create_repository
get_file_contents
push_files
create_issue
create_pull_request
fork_repository
create_branch
list_commits
list_issues
update_issue
add_issue_comment
search_code
search_issues
search_users
get_issue
get_pull_request
list_pull_requests
create_pull_request_review
merge_pull_request
get_pull_request_files
get_pull_request_status
update_pull_request_branch
get_pull_request_comments
get_pull_request_reviews
Server Config
{
"mcpServers": {
"github": {
"command": "docker",
"args": [
"run",
"-i",
"--rm",
"-e",
"GITHUB_PERSONAL_ACCESS_TOKEN",
"mcp/github"
],
"env": {
"GITHUB_PERSONAL_ACCESS_TOKEN": "<YOUR_TOKEN>"
}
}
}
}