Which integrations are available for this server?

Provides tools for managing GitHub repositories, including creating branches, pushing files, and managing pull requests.

How do I use GitHub MCP Server?

1. Click on "Install Server". 2. Wait a few minutes for the server to deploy. Once ready, it will show a "Started" state. 3. In the chat, type @ followed by the MCP server name and your instructions, e.g., "@GitHub MCP Server create a branch feature/update-readme from main in owner/repo" That's it! The server will respond to your query, and you can continue using it as needed. Here is a step-by-step guide with screenshots.

GitHub MCP Server

A simple MCP server that exposes GitHub actions as tools: create branch, push file, open PR, and merge PR.

Setup

pip install -r requirements.txt
cp .env.example .env   # then add your GitHub token

Run

python server.py

Tools

Tool	Description
`create_branch`	Create a new branch from an existing one
`push_file`	Create or update a file (commit & push)
`create_pull_request`	Open a pull request
`merge_pull_request`	Merge an open pull request by PR number

Example Usage

# Create a branch
create_branch("owner/repo", "feature/my-branch", from_branch="main")

# Push a file
push_file("owner/repo", "feature/my-branch", "hello.txt", "Hello World!", "add hello.txt")

# Open a PR
create_pull_request("owner/repo", "My PR", head="feature/my-branch", base="main")

# Merge PR #1
merge_pull_request("owner/repo", 1)