Plugin

Gestione degli aggiornamenti per DeepSeek Harness e i suoi plugin: controlli dual-source da npm/GitHub con consapevolezza semver per il programma principale e per ogni plugin installato, un banner localizzato (zh/en) che elenca gli elementi aggiornabili e aggiornamenti in un clic (il programma principale viene salvato in backup, verificato per integrità e ripristinato in caso di errore; i plugin si installano tramite una directory temporanea senza toccare altri pacchetti), oltre a un riavvio protetto da watchdog dopo l’aggiornamento. La pagina impostazioni aggiunge indicatori di versione per plugin, avanzamento live degli aggiornamenti e toggle banner/notifiche.

Plugin di dominio per lo sviluppo Rust per DeepSeek Harness (dsh): piramide di verifica fmt→clippy→build+test→miri+audit(+semver) come strumenti rivolti al modello + governance a livello di grafo (8 regole anti-Goodhart, incl. densità di #[allow] / test eliminati, blind-spot tramite Cargo.toml e pub

Copilota degli aggiornamenti per DeepSeek Harness: una sola scansione copre il core di DeepSeek Harness e tutti i plugin di ogni profilo; spiega cosa è cambiato e quanto è rischioso ogni aggiornamento, poi aggiorna solo ciò che confermi.