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

Related MCP server: PR Review MCP Server

Autenticación

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

export GITHUB_TOKEN=<your-github-token>

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