GitHub Integration MCP ServerServer

highlight-ing
GitHub
GitHubMCPDeveloper Tools

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