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