Provides functionality to extract diffs from GitHub Pull Requests, allowing retrieval of PR diff content by specifying repository owner, repo name, and PR number.
Serves as the runtime environment for the MCP server, requiring version 18.0.0 or higher for operation.
Used for input validation within the MCP server to ensure proper parameter formatting before API requests are processed.
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 namerepo: Repository namepr_number: Pull Request number
Returns: Object containing:
content: String containing the PR diff
Related MCP server: OSSInsight MCP Server
Authentication
Required: Set the GitHub Personal Access Token as an environment variable:
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.AuthenticationErrorInvalid repository details return
ErrorCode.InvalidParamsNon-existent PR returns
ErrorCode.NotFoundFailed 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