SERVICE & TOOLS
GitHub
GitHub repos via OAuth — repositories, issues, PRs, branches, file operations
26 available tools
get_ pull_ request
Get details of a specified Pull Request
search_ repositories
Search GitHub repositories
add_ issue_ comment
Add a comment to an existing Issue
create_ issue
Create a new Issue in GitHub repository
get_ repository
Get detailed information about a GitHub repository
list_ commits
Get commit list of GitHub repository branch
list_ user_ repositories
List current user's GitHub repositories
search_ code
Search code in GitHub repositories
search_ issues
Search Issues and Pull Requests in GitHub repositories
search_ users
Search users on GitHub
create_ branch
Create a new branch in GitHub repository
create_ or_ update_ file
Create or update a single file in GitHub repository
create_ pull_ request
Create a new Pull Request in GitHub repository
create_ repository
Create a new GitHub repository in your account
fork_ repository
Fork GitHub repository to your account or specified organization
get_ file_ contents
Get file or directory content from GitHub repository
get_ me
Get detailed information about the currently authenticated GitHub user. Use this tool when the request involves the user's own profile configuration or lacks information to build other tool calls
get_ repository_ tree
Get the tree structure (files and directories) of a GitHub repository at a specific ref or SHA
list_ branches
List all branches of the repository
list_ issues
List issues in a GitHub repository with filtering options
list_ pull_ requests
List and filter repository pull requests
list_ starred_ repositories
List user's starred repositories
merge_ pull_ request
合并Pull Request
push_ files
Push multiple files to a GitHub repository in a single commit
star_ repository
Star GitHub repository
unstar_ repository
Unstar GitHub repository