Plugins

Incorpora un editor VSCode real (code-server, o VS Code de escritorio local mediante la extensión puente incluida) como pestaña GUI: las ediciones de archivos del agente abren diffs rojo/verde por turno que sobreviven al cierre de pestañas y a la recarga de página, los archivos se bloquean mientras escribe el agente y un supervisor watchdog mantiene cero procesos huérfanos.

Empaqueta e instala code-server (la versión web de VSCode) como plugin dentro de dsh para lograr rápidamente una edición de archivos profesional.