Skip to main content
Glama
highlight-ing

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

Related MCP server: OSSInsight 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

-
security - not tested
F
license - not found
-
quality - not tested

Latest Blog Posts

MCP directory API

We provide all the information about MCP servers via our MCP API.

curl -X GET 'https://glama.ai/api/mcp/v1/servers/highlight-ing/highlight-github-mcp'

If you have feedback or need assistance with the MCP directory API, please join our Discord server