Grok Bot

Grok accepte les connecteurs MCP publics et personnalisés. RepoHop est déjà public. Vous n’avez donc pas besoin d’un service de tunnel.

Avant la connexion

RepoHop Local doit être en ligne et au moins un dépôt doit être approuvé. Laissez tous les droits sauf Read désactivés.

Ajouter RepoHop

1. Ouvrez Grok Connectors.
2. Choisissez New Connector, puis Custom.
3. Nommez-le RepoHop.
4. Saisissez l’URL MCP de RepoHop :

https://repohop.app/api/mcp

Grok doit découvrir OAuth et s’enregistrer automatiquement. Ne saisissez et n’inventez aucun client_id ; RepoHop ne fournit pas de valeur statique partagée aux utilisateurs.

5. Continuez vers RepoHop lorsque le navigateur s’ouvre.
6. Vérifiez le nom du client, choisissez le dépôt et approuvez Read.
7. Ouvrez Grok Bot. Allez dans Settings → Plugins et vérifiez que RepoHop est activé.

Pour une équipe gérée, un administrateur devra peut-être ajouter RepoHop dans Grok Business → Connectors. Consultez le guide des connecteurs Grok.

Tester la connexion

Demandez à Grok Bot :

Utilise RepoHop pour lister mes dépôts approuvés. Exécute project_status pour le dépôt que je choisis, puis lis son README avec project_read. Ne modifie aucun fichier et n’exécute aucune commande.

Vérifiez que le dépôt, la branche et le README correspondent à votre checkout local.

Autoriser les modifications

Activez Write sur le dépôt et la connexion RepoHop. Demandez à Grok Bot de lire chaque fichier avant de le modifier. Vérifiez les changements dans votre éditeur et avec 'git diff'. Ajoutez Execute, Commit ou Push uniquement si nécessaire.

Supprimer RepoHop

Révoquez d’abord la connexion dans RepoHop. Ouvrez ensuite les réglages des connecteurs Grok et supprimez RepoHop. Si un administrateur l’a ajouté, il contrôle sa disponibilité.

Si le plugin manque, vérifiez la politique de votre équipe ou demandez à un administrateur. Pour les autres problèmes, consultez le Dépannage.