Plugins

Gestion des mises à jour pour DeepSeek Harness et ses plugins : vérifications à double source npm/GitHub sensibles au semver pour le programme principal et chaque plugin installé, bannière localisée (zh/en) listant les éléments actualisables, et mises à jour en un clic (le programme principal est sauvegardé, contrôlé en intégrité et restauré en cas d’échec ; les plugins s’installent via un répertoire temporaire sans toucher aux autres paquets), avec redémarrage protégé par watchdog après mise à jour. La page des paramètres ajoute des voyants de version par plugin, la progression des mises à jour en direct et des bascules bannière/notification.

Plugin de domaine de développement Rust pour DeepSeek Harness (dsh) : pyramide de vérification fmt→clippy→build+test→miri+audit(+semver) en tant qu'outils exposés au modèle + gouvernance au niveau du graphe (8 règles anti-Goodhart, dont densité de #[allow] / tests supprimés, blind-spot via Cargo.toml et pub

Copilote de mise à jour pour DeepSeek Harness : une seule analyse couvre le cœur de DeepSeek Harness et tous les plugins de chaque profil ; il explique ce qui a changé et le risque de chaque mise à jour, puis ne met à jour que ce que vous confirmez.