Highlight GitHub MCP Server

Extracts diffs from GitHub Pull Requests via the GitHub REST API.

Local serverstdio★ 2

What is the Highlight GitHub MCP Server?

Extracts diffs from GitHub Pull Requests via the GitHub REST API.

The short version

The GitHub MCP server provides functionality to extract diffs from Pull Requests.

The tools it exposes

The server publishes 1 tool. What each one is for:

  • get_diff_pr — The get_diff_pr tool exposed by this server

Recorded tools

  • get_diff_pr — The get_diff_pr tool exposed by this server.

More MCP options

Compare MCP servers by category, or browse hosted MCP servers if you prefer an endpoint over a local process.

Maintainer setup documentation.

Recorded tools

Check the linked publisher documentation and your connected client's tool list. Names and availability can vary with the server version and account permissions.

ToolWhat it does
get_diff_prThe get_diff_pr tool exposed by this server.

Configuration

VariableDescriptionRequired
GITHUB_TOKENCredential the server authenticates with.Yes

Example prompts to try

  • “Use Highlight GitHub to get diff pr.”

Frequently asked questions

Authentication is handled using a GitHub Personal Access Token. You need to set the `GITHUB_TOKEN` environment variable. The token requires `repo` scope permissions for private repositories and `public_repo` for public ones.