Grok Bot

Grok admite conectores MCP personalizados y públicos. RepoHop ya es público, así que no necesitas un servicio de túnel.

Antes de conectar

RepoHop Local debe estar conectado y debes tener al menos un repositorio aprobado. Mantén desactivados todos los permisos excepto Read.

Añadir RepoHop

1. Abre Grok Connectors.
2. Elige New Connector y después Custom.
3. Llámalo RepoHop.
4. Introduce la URL MCP de RepoHop:

https://repohop.app/api/mcp

Grok debe descubrir OAuth y registrarse automáticamente. No introduzcas ni inventes un client_id; RepoHop no entrega a los usuarios un valor estático compartido.

5. Continúa a RepoHop cuando se abra el navegador.
6. Comprueba el nombre del cliente, elige el repositorio y aprueba Read.
7. Abre Grok Bot. Ve a Settings → Plugins y comprueba que RepoHop esté activado.

En un equipo administrado, es posible que un administrador tenga que añadir RepoHop en Grok Business → Connectors. Consulta la guía de conectores de Grok.

Probar la conexión

Pide a Grok Bot:

Usa RepoHop para enumerar mis repositorios aprobados. Ejecuta project_status en el repositorio que yo elija y después lee su README con project_read. No cambies archivos ni ejecutes comandos.

Comprueba que el repositorio, la rama y el README coincidan con tu checkout local.

Permitir cambios

Activa Write en el repositorio y en la conexión de RepoHop. Pide a Grok Bot que lea cada archivo antes de cambiarlo. Revisa los cambios en tu editor y con 'git diff'. Añade Execute, Commit o Push solo cuando la tarea lo necesite.

Quitar RepoHop

Revoca primero la conexión en RepoHop. Después abre la configuración de conectores de Grok y elimina RepoHop. Si lo añadió un administrador, esa persona controla si sigue disponible.

Si falta el plugin, revisa la política de conectores del equipo o pregunta a un administrador. Para otros problemas, consulta Solución de problemas.