dsh-explorer-plugin:在 DSH Web GUI 中加入 workspace 文件瀏覽器與 Monaco 編輯器

dsh-explorer-plugin 是一個爲 DeepSeek Harness (DSH) Web GUI 開發的插件,旨在讓用戶無需切換至外部編輯器即可在側邊欄直接管理會話 workspace 中的文件。該插件提供文件樹瀏覽功能,支持文件的創建、重命名、移動及刪除等操作,並集成 Monaco 編輯器,支持多標籤、撤銷重做、語法高亮(基於 VS Code TextMate 語法支持 28 種語言)及外部衝突檢測。 在功能上,插件通過 SSE 即時監聽代理的文件變化,自動更新文件樹;提供“分析”和“修復”快捷操作,可在用戶確認後向代理發送指令。安全性方面,所有操作嚴格限制在會話 worksp

閱讀全文