GitHub Integration MCP Server

Integración de GitHub

El servidor MCP de GitHub proporciona funcionalidad para extraer diferencias de las solicitudes de extracción.

Herramientas disponibles

obtener_diff_pr

Recupera el contenido diferencial de una solicitud de extracción de GitHub.

Parámetros :

• owner : nombre del propietario/organización del repositorio
• repo : Nombre del repositorio
• pr_number : Número de solicitud de extracción

Devuelve : Objeto que contiene:

• content : Cadena que contiene la diferencia de PR

Autenticación

Obligatorio : establezca el token de acceso personal de GitHub como una variable de entorno:

El token necesita al menos permisos de ámbito repo para acceder a repositorios privados. Para repositorios públicos, un token con ámbito de public_repo es suficiente.

Manejo de errores

El servidor implementa el manejo de errores estándar:

• El token faltante o no válido devuelve ErrorCode.AuthenticationError
• Los detalles del repositorio no válidos devuelven ErrorCode.InvalidParams
• Un PR inexistente devuelve ErrorCode.NotFound
• Las recuperaciones de diferencias fallidas devuelven mensajes de error formateados
• Apagado elegante en SIGINT

Detalles técnicos

• Desarrollado con el SDK Highlight AI MCP
• Utiliza la API REST v3 de GitHub
• Validación de entrada mediante Zod
• Se ejecuta como un servidor MCP basado en stdio
• Admite Node.js >=18.0.0

Limitaciones

• Se aplican límites de velocidad según las restricciones de la API de GitHub.
• Las diferencias grandes pueden truncarse según los límites de la API de GitHub
• El token requiere permisos de acceso al repositorio adecuados