Plugins

Gestión de actualizaciones para DeepSeek Harness y sus plugins: comprobaciones duales desde npm/GitHub con semver para el programa principal y cada plugin instalado, un banner localizado (zh/en) que lista los elementos actualizables y actualizaciones con un clic (el programa principal se respalda, se verifica su integridad y se revierte si falla; los plugins se instalan mediante un directorio temporal sin tocar otros paquetes), además de un reinicio protegido por watchdog después de actualizar. La página de ajustes añade luces de versión por plugin, progreso de actualización en vivo y conmutadores de banner/notificación.

Plugin de dominio de desarrollo Rust para DeepSeek Harness (dsh): pirámide de verificación fmt→clippy→build+test→miri+audit(+semver) como herramientas orientadas al modelo + gobernanza a nivel de grafo (8 reglas anti-Goodhart, incl. densidad de #[allow] / pruebas eliminadas, blind-spot a través de Cargo.toml y pub

Copiloto de actualizaciones para DeepSeek Harness: un solo escaneo cubre el núcleo de DeepSeek Harness y todos los plugins de cada perfil; explica qué cambió y cuán arriesgada es cada actualización, y luego actualiza solo lo que confirmes.