dsh-explorer-plugin:在 DSH Web GUI 中加入 workspace 文件浏览器与 Monaco 编辑器

dsh-explorer-plugin 是一个为 DeepSeek Harness (DSH) Web GUI 开发的插件,旨在让用户无需切换至外部编辑器即可在侧边栏直接管理会话 workspace 中的文件。该插件提供文件树浏览功能,支持文件的创建、重命名、移动及删除等操作,并集成 Monaco 编辑器,支持多标签、撤销重做、语法高亮(基于 VS Code TextMate 语法支持 28 种语言)及外部冲突检测。 在功能上,插件通过 SSE 实时监听代理的文件变化,自动更新文件树;提供“分析”和“修复”快捷操作,可在用户确认后向代理发送指令。安全性方面,所有操作严格限制在会话 worksp

阅读全文