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 repositoriorepo: Nombre del repositoriopr_number: Número de solicitud de extracción
Devuelve : Objeto que contiene:
content: Cadena que contiene la diferencia de PR
Related MCP server: OSSInsight MCP Server
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.AuthenticationErrorLos detalles del repositorio no válidos devuelven
ErrorCode.InvalidParamsUn PR inexistente devuelve
ErrorCode.NotFoundLas 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