Loading subscription status...
💡 Description
This server provides functionality to extract diffs from GitHub Pull Requests, allowing users to retrieve and analyze changes between branches in a repository.
📝 JSON Entries
{
"mcpServers": [
{
"GitHub Integration MCP Server": {
"env": {
"GITHUB_TOKEN": "<your-github-token>"
},
"args": [
"owner",
"repo",
"pr_number"
],
"command": "retrieve_diff_pr"
}
}
]
}🛠️ Tools
obtener_diff_pr
⚡ Features
- Extract Pull Request Diffs
- Input Validation