remote-capable server
The server can be hosted and run remotely because it primarily relies on remote services or has no dependency on the local environment.
Integrations
Provides functionality to extract diffs from GitHub Pull Requests, allowing retrieval of PR diff content by specifying repository owner, repo name, and PR number.
Serves as the runtime environment for the MCP server, requiring version 18.0.0 or higher for operation.
Used for input validation within the MCP server to ensure proper parameter formatting before API requests are processed.
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
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
This server cannot be installed
Extrae diferencias de las solicitudes de extracción de GitHub, lo que permite a los usuarios recuperar y analizar cambios entre ramas en un repositorio.