Les plugins Devin et la page Customize

​

Que sont les plugins ?

​

La page Customize

• Plugins — tout ce qui est installé, regroupé par périmètre, ainsi que Browse marketplace pour en installer d’autres.
• Skills — les skills que Devin charge à la demande, depuis les plugins installés et vos repositories.
• MCPs — les serveurs MCP qui fournissent à Devin des tools au-delà de ceux intégrés. Voir MCPs ci-dessous.
• Hooks — des commandes qui s’exécutent automatiquement à certains moments d’une session. Voir Hooks ci-dessous.
• Règles — des règles permanentes pour les sessions du périmètre. Voir Règles ci-dessous.

• Personal — n’importe qui, pour son propre périmètre.
• Organization — les membres disposant d’un accès aux Organization Settings.
• Enterprise — les membres disposant d’un accès aux enterprise settings.

​

Installer des plugins

​

Depuis le marketplace

​

Depuis un repository, un .zip ou l’éditeur

​

Depuis la CLI

​

Laisser Devin s’en charger

​

Comment les plugins parviennent aux sessions (synchronisation cloud ↔ local)

• Les cloud sessions récupèrent les manifestes enterprise, organization et personnel au démarrage, puis installent les plugins correspondants sur la machine de la session, en plus des plugins déclarés par les dépôts qu’elles clonent.
• Le Devin CLI et Devin Desktop récupèrent les mêmes manifestes lorsque vous êtes connecté : un plugin installé depuis le web apparaît donc sur votre laptop, et un devin plugins install lancé sur votre laptop se retrouve dans votre prochaine cloud session. Les plugins provenant de repos privés sont récupérés avec vos credentials git locaux : vous devez donc avoir vous-même accès au repo. Une enterprise peut désactiver complètement les plugins CLI (Devin CLI plugins dans les enterprise settings).
• Les utilisateurs solo (sans organization) ne disposent que d’un périmètre personnel.

​

Indexation

• Ce qui la déclenche — installer, supprimer ou modifier un plugin met automatiquement une réindexation en file d’attente. Utilisez Plugin settings → Reindex plugins pour actualiser l’index après avoir poussé des modifications vers le dépôt source d’un plugin.
• Pendant l’exécution — une exécution peut être planifiée, en file d’attente, en cours de démarrage ou en cours d’indexation. Les réindexations fréquentes sont espacées, et l’enregistrement des bundles importés peut mettre un court instant à être mis en file d’attente. Les MCP de plugins peuvent être connectés dès que leur configuration a été indexée.
• Résultats — ouvrez Plugin settings (le menu en forme d’engrenage) pour consulter la date de dernière indexation et les éventuels problèmes. Une actualisation en échec peut laisser visible le dernier résultat réussi : la présence d’un plugin dans la liste ne prouve pas que la dernière actualisation a réussi.
• Accès au dépôt — le contenu de plugin indexé depuis un dépôt n’est affiché que dans une organisation ayant accès à ce dépôt via son intégration Git. À défaut, le contenu du périmètre est retenu et accompagné de la mention Plugin repos unauthorized ; accordez l’accès au dépôt dans Settings → Repositories. La gouvernance issue d’un périmètre retenu (ses interdictions) continue de s’appliquer.
• Politique réseau — l’indexation s’exécute sur une machine qui hérite de la politique réseau de session de votre organisation ; les sources de plugins doivent donc y être accessibles.

​

Résoudre les problèmes d’indexation

1. Ouvrez Customize → Plugins dans l’organisation où vous avez besoin du plugin. Sélectionnez son périmètre Personal, Organization ou Enterprise, puis ouvrez Plugin settings pour lire le problème ainsi que le plugin ou le périmètre qu’il désigne.
2. Si une exécution est planifiée, en file d’attente, en cours de démarrage ou en cours d’indexation, laissez-la se terminer. Si le plugin n’a jamais été indexé, ou si sa source a changé depuis le dernier index, choisissez Reindex plugins.
3. Pour une exécution en échec ou un contenu manquant, appliquez le correctif correspondant ci-dessous. Enregistrez ou committez la correction, puis choisissez Reindex plugins et vérifiez de nouveau le résultat. Les modifications d’un manifeste partagé ou des autorisations de repository peuvent nécessiter l’intervention d’un admin.

​

MCPs

• From plugins — les MCP servers déclarés par un plugin installé. Le plugin détient les paramètres de connexion (URL, transport, credentials requis), affichés en lecture seule ; vous pouvez néanmoins l’activer, le désactiver, le connecter ou le désinstaller. La plupart des plugins officiels du marketplace se résument à un seul MCP server, accompagné éventuellement de skills.
• Standalone — les MCP servers installés indépendamment : serveurs personnalisés (Add custom MCP) et serveurs installés depuis l’ancien MCP marketplace, toujours accessible depuis l’onglet.

​

Hooks

​

Règles

​

Le manifeste

{
  "requiredPlugins": ["acme/review-tools"],
  "optionalPlugins": [],
  "forbiddenPlugins": ["sketchy-org/bad-plugin", "acme/*"]
}

• requiredPlugins — installés pour tous les utilisateurs du périmètre (récursivement, y compris tous les plugins dont ils dépendent). L’installation depuis l’UI ajoute une entrée ici.
• optionalPlugins — une liste d’autorisation qui autorise des plugins sans les installer automatiquement ; elle sert à définir des exceptions à une entrée interdite.
• forbiddenPlugins — une liste de refus d’identités de plugin ou de motifs glob.

​

Plugins téléversés

{ "requiredPlugins": [{ "source": "account-upload", "bundleId": "bugzilla" }] }

{ "requiredPlugins": [{ "source": "account-upload", "bundleId": "bugzilla", "bundleScope": "account" }] }

• requiredPlugins enterprise — installés dans chaque organisation.
• optionalPlugins enterprise — affichés sous Suggested dans chaque organisation, où un admin peut les installer. Depuis la fiche de détails du plugin enterprise, Required organizations l’installe dans les organisations que vous sélectionnez.

​

Gouvernance

​

Périmètre et héritage

• Les comptes autonomes disposent d’un manifeste de compte (intitulé Organization dans Customize), auquel s’ajoute le manifeste personnel de chaque membre.
• Les entreprises disposent d’un manifeste d’entreprise hérité par chaque organisation enfant, puis d’un manifeste par organisation au niveau inférieur, et enfin des manifestes personnels.

​

Déploiement des mises à jour

• Les modifications du manifeste (installations, suppressions, modifications du manifeste) s’appliquent à la session suivante, sur toutes les interfaces.
• Les modifications du contenu d’un plugin — les fusions dans la branche suivie par un plugin sont répercutées automatiquement sur les nouvelles sessions (les cloud sessions les récupèrent au démarrage ; en CLI, la mise à jour se fait avec devin plugins update). Customize affiche le nouveau contenu après la prochaine exécution d’indexation — cliquez sur Reindex plugins pour le récupérer immédiatement.
• Les sessions en cours conservent ce qu’elles ont chargé au démarrage — les mises à jour ne modifient jamais une session en cours d’exécution.

​

Épingler un plugin

{
  "requiredPlugins": [
    { "source": "github", "repo": "acme/review-tools", "sha": "3f2a9c1d8e4b7a6f5c0d1e2f3a4b5c6d7e8f9a0b" }
  ]
}

​

Variables d’environnement des plugins

{
  "requiredPlugins": [
    {
      "source": "github",
      "repo": "acme/review-tools",
      "env": {
        "API_KEY": "secret:org:REVIEW_API_KEY",
        "REVIEW_MODE": "strict"
      }
    }
  ]
}

​

Références prises en charge

secret:org:NAME
secret:enterprise:NAME
secret:personal:NAME
secret:session:NAME
secret:repo:owner/repo:NAME

​

En savoir plus

• Référence des plugins — format de fichier des plugins, manifest, sémantique de gouvernance, commandes CLI
• Set up your plugin ecosystem — créez et gouvernez votre propre repo de plugins
• Démarrage rapide : marketplace d’équipe — de zéro à un repo de plugins partagé
• Skills — les procédures SKILL.md que les plugins regroupent
• MCP servers — transports, serveurs personnalisés, configuration par server