Plugins

Un plugin de mercado para integrar rápidamente tu DeepSeek Harness en el ecosistema de plugins de GitHub.

Instala, actualiza y elimina plugins DSH desde una pestaña de la página Plugins. La instalación llama al servicio pluginManager del perfil en proceso, por lo que se pueden añadir plugins mientras la app de escritorio está abierta, sin depender del CLI. Las actualizaciones usan la API pública update API v1 de dsh-market (obligatoria para esa sección) y muestran fase, porcentaje y bytes descargados en una barra; solo se revierten si el mercado informa de un restorepoint. Si se rechaza eliminar un bundle en uso, lo desactiva, lo quita del manifest del perfil y programa los archivos restantes para limpieza después del siguiente inicio.

Agregador federado de registros de plugins para DeepSeek Harness: combina catálogos npm, GitHub y JSON en un índice único con búsqueda.