Highlight GitHub
Createdhighlight-ing
Extracts diffs from GitHub Pull Requests via the GitHub REST API.
About
Highlight GitHub provides a server to extract diffs from GitHub Pull Requests, leveraging the GitHub REST API v3. It offers a `get_diff_pr` tool that retrieves the diff content from a specified pull request using the repository owner, repository name, and pull request number as parameters. The tool requires a GitHub Personal Access Token with appropriate repository scope permissions for authentication and includes robust error handling for issues like missing tokens, invalid repository details, or non-existent pull requests. Built using the Highlight AI MCP SDK, it supports Node.js >=18.0.0 and utilizes Zod for input validation, running as a stdio-based MCP server.
Key Features
- Uses GitHub REST API v3
- Standard error handling for various issues
- Input validation via Zod
- Extracts diff content from GitHub Pull Requests
- Authentication via GitHub Personal Access Token
Use Cases
- Integrating diff data into other applications
- Automated code review workflows
- Analyzing code changes in pull requests