Plugins

Incorpora um editor VSCode real (code-server ou seu VS Code local de desktop via a extensão bridge incluída) como uma aba de GUI: edições de arquivos pelo agente abrem diffs vermelho/verde por rodada que sobrevivem ao fechamento de abas e ao recarregamento da página; os arquivos são bloqueados enquanto o agente escreve, e um supervisor watchdog mantém zero processos órfãos.

Empacota e instala o code-server (a versão web do VSCode) como plugin dentro do dsh para obter rapidamente edição profissional de ficheiros.