GitHub Server
Overview
The GitHub server provides comprehensive integration with GitHub repositories, enabling AI assistants to manage issues, pull requests, code files, and development workflows programmatically.Getting Started
Connect to GitHub
Test Connection
get_me
or search_repositories
to verify the connection works properly.What You Can Do
Issue Management
Pull Request Workflows
Code Operations
Repository Search
Use Cases
Development Automation
Development Automation
- PR Creation: Automatically create pull requests from feature branches with proper descriptions
- Code Reviews: Generate review comments and suggestions based on code changes
- Issue Triage: Automatically label and assign issues based on content analysis
- Branch Management: Create feature branches and manage merge workflows
Project Management
Project Management
- Issue Tracking: Monitor project progress through issue creation and updates
- Status Reports: Generate project status reports from commit history and PR activity
- Team Coordination: Track team member contributions and code review assignments
- Release Management: Coordinate releases by analyzing commit history and issue resolution
Code Intelligence
Code Intelligence
- Code Search: Find similar patterns, functions, or implementations across repositories
- Documentation Updates: Automatically update documentation based on code changes
- Security Monitoring: Track and respond to security scanning alerts
- Dependency Analysis: Monitor repository dependencies and update requirements
Available Tools
User Operations
User Operations
get_me
get_me
Issue Management
Issue Management
get_issue
get_issue
create_issue
create_issue
list_issues
list_issues
update_issue
update_issue
search_issues
search_issues
get_issue_comments
get_issue_comments
add_issue_comment
add_issue_comment
Pull Request Management
Pull Request Management
get_pull_request
get_pull_request
create_pull_request
create_pull_request
list_pull_requests
list_pull_requests
update_pull_request
update_pull_request
merge_pull_request
merge_pull_request
get_pull_request_files
get_pull_request_files
get_pull_request_status
get_pull_request_status
update_pull_request_branch
update_pull_request_branch
get_pull_request_comments
get_pull_request_comments
get_pull_request_reviews
get_pull_request_reviews
create_pull_request_review
create_pull_request_review
add_pull_request_review_comment
add_pull_request_review_comment
request_copilot_review
request_copilot_review
File & Code Operations
File & Code Operations
create_or_update_file
create_or_update_file
get_file_contents
get_file_contents
push_files
push_files
Repository Management
Repository Management
search_repositories
search_repositories
create_repository
create_repository
fork_repository
fork_repository
Branch & Commit Operations
Branch & Commit Operations
list_branches
list_branches
create_branch
create_branch
list_commits
list_commits
get_commit
get_commit
Search Operations
Search Operations
search_code
search_code
search_users
search_users
Security & Scanning
Security & Scanning
get_code_scanning_alert
get_code_scanning_alert
list_code_scanning_alerts
list_code_scanning_alerts
get_secret_scanning_alert
get_secret_scanning_alert
list_secret_scanning_alerts
list_secret_scanning_alerts
Resources
The GitHub server provides direct access to GitHub data through resource endpoints.Collection Endpoints
Collection Endpoints
Repositories
github://repositories
Access repository listings and metadata
Issues
github://issues
Browse issues across accessible repositories
Pull Requests
github://pull-requests
View pull request data and status
Users
github://users
Access user profiles and information
Individual Record Endpoints
Individual Record Endpoints
Repository
github://repositories/{owner}/{repo}
Get specific repository details
Issue
github://issues/{owner}/{repo}/{number}
Get individual issue details
Pull Request
github://pull-requests/{owner}/{repo}/{number}
Get specific pull request information
User
github://users/{username}
Get user profile and activity