GitHub Integration

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

Available Tools

get_diff_pr

Retrieves the diff content from a GitHub Pull Request.

Parameters:

• owner: Repository owner/organization name

• repo: Repository name

• pr_number: Pull Request number

Returns: Object containing:

• content: String containing the PR diff

Authentication

Required: Set the GitHub Personal Access Token as an environment variable:

export GITHUB_TOKEN=<your-github-token>

The token needs at least repo scope permissions to access private repositories. For public repositories, a token with public_repo scope is sufficient.

Error Handling

The server implements standard error handling:

• Missing/invalid token returns ErrorCode.AuthenticationError

• Invalid repository details return ErrorCode.InvalidParams

• Non-existent PR returns ErrorCode.NotFound

• Failed diff fetches return formatted error messages

• Graceful shutdown on SIGINT

Technical Details

• Built using the Highlight AI MCP SDK

• Uses GitHub REST API v3

• Input validation via Zod

• Runs as a stdio-based MCP server

• Supports Node.js >=18.0.0

Limitations

• Rate limits apply based on GitHub API restrictions

• Large diffs may be truncated according to GitHub API limits

• Token requires appropriate repository access permissions