lean4-harness-plugin:DeepSeek Harness 的 Lean 4 本地验证插件
`lean4-harness-plugin` 是 DeepSeek Harness 的一个插件,旨在解决智能体生成 Lean 4 代码无法通过验证的问题。它通过将本地 Lean 4 验证器与 Web Profile 连接,实现代码自动校验与修正。 该插件支持复用 Lean LSP 进程、Mathlib 缓存检查及结构化错误返回,需在 Windows 11 环境下安装,并通过 `link:` 语法将本地仓库链接到 Web Profile。使用时,需明确要求模型调用 `lean_check` 并循环修正直至验证通过。
阅读全文dsh-cordis:将 DeepSeek Harness 封装为 Cordis 插件
`dsh-cordis` 是一个将 DeepSeek Harness (DSH) 编码引擎封装为 Cordis 插件的包,旨在简化 DSH 能力在 Cordis 体系中的集成。它通过组合挂载和原生服务提供者,将 DSH 的代理、会话、工具等能力注入宿主 Loader 树,支持依赖注入而非直接导入。该插件无独立根,Fiber 由调用者拥有,默认关闭遥测,适合需要在 Cordis 插件中复用 DSH 能力的开发者。
阅读全文DSH Editor (CLI) 插件:acryl-cli 原生文件浏览与编辑
`acryl-dsh-editor-plugin-cli` 是 DeepSeek Harness (DSH) 的 TUI 原生文件编辑插件。它允许用户在终端界面中直接浏览、查看和编辑文件,无需切换上下文。该插件基于 Node.js,支持文件树浏览、Vim 风格导航、目录过滤、内联编辑及保存。安装后重启 `acryl tui` 并输入 `/files` 即可使用。其已知限制包括不支持跨文件搜索、Git diff 和语法高亮。
阅读全文dsh-balance-monitor:DSH 左侧栏实时 API 余额与消耗监控
DSH 插件 `dsh-balance-monitor` 旨在解决智能体开发中 API 消耗不可见的问题。该插件将账户余额、每日/累计消耗及峰谷计价实时显示在 DSH 左侧栏(整页面板与小组件),支持 DeepSeek、智谱、OpenRouter 等多平台。核心功能包括自动同步官方价目表、峰谷计价(周末半价)、消耗上限设置(含拦截功能)以及详细的消耗图表(柱状图、热力图、会话列表)。用户可通过命令行或本地目录安装,数据基于会话日志解析。
阅读全文DeepSeek Harness 插件:dsh-music-plus
dsh-music-plus 是 DeepSeek Harness (DSH) 的本地音频播放插件,基于原版修改,专注于本地流式播放、播客 RSS 订阅及网络电台。核心功能包括断点续播、频谱可视化、自建歌单及多种格式支持。安装时需将本地源码目录通过 `dsh plugin add` 命令添加到 Profile,桌面版需使用内置 CLI。支持通过对话框控制播放本地音乐、歌单及网络电台。需注意需联网收听电台,且断点续播仅限本地内容。
阅读全文dsh-setting-manager:设置页分区导航显隐控制
dsh-setting-manager 插件通过右键菜单提供 DeepSeek Harness 设置分区的批量显隐控制功能。它使用 `display:none` 隐藏分区,并将状态持久化至本地 JSON 文件,支持跨浏览器会话复用。该插件严格遵循 DSH 主题,具备安全校验机制(如 Loopback 限制、防 DNS 攻击),并提供批量操作和容错回退功能。安装简单,旨在解决分区过多导致的导航繁琐问题。
阅读全文dsh-llm-grok:将 Grok 订阅接入 DeepSeek Harness 的 LLM 提供方
`dsh-llm-grok` 是一个 DeepSeek Harness (DSH) 插件,旨在将 X.AI 的 Grok 订阅集成到 DSH 生态中。它支持原生多模态、多种推理强度及 HTTP 代理。 安装需通过命令行添加,核心依赖用户手动维护的 `GROK_SESSION_TOKEN`。插件不支持自动续期,需通过脚本或环境变量每 5 分钟同步一次 Token。此外,插件仅实现 `chat-completions` 接口,且对图片处理有特定限制。
阅读全文dsh-grok-image:在 DeepSeek Harness 中调用 Grok Imagine
`dsh-grok-image` 插件为 DeepSeek Harness (DSH) 提供了接入 Grok Imagine 图片生成能力的标准入口。该插件将 Grok Imagine 注册为 DSH 的 `image_gen` 工具,支持多种比例、内联显示及本地落盘,并支持 AIRP 挂载。安装需通过 CLI 添加并重启进程,配置需提供 Grok Session Token。目前仅支持生成功能,依赖 Grok 订阅权限,生成耗时较长,需注意适配器兼容性。
阅读全文DeepSeek Harness 插件开发套件 (dsh-plugin-devkit)
`dsh-plugin-devkit` 是一套为 DeepSeek Harness (DSH) 插件开发提供辅助的开发工具集。该项目由社区维护,旨在解决运行时状态不可见、调试环境隔离难、依赖真实浏览器测试效率低等问题。 该工具包包含四个核心模块:用于观察组合状态的 `dsh-debugger`、隔离调试环境的 `dsh-debug-boot`、无需浏览器的宿主契约测试器 `dsh-plugin-test`,以及用于预览客户端槽位渲染的 `dsh-plugin-preview`。开发者可通过 npm 安装并在 DSH 配置中启用,利用 CLI 工具进行状态检查、环境隔离、契约断言及渲染预览,从而
阅读全文Whiteboat for DeepSeek Harness:静水面
Whiteboat-dsh 是一个运行在 DeepSeek Harness (DSH) 上的客户端插件,旨在将 Whiteboat 的水面体验集成到 DSH 中。其核心功能是“静水面”,提供了一个非品牌化的 3D 水面视图,允许用户在开始真实 AI 会话前进行构思、观察或输入。该功能复用了 Whiteboat 的视觉与交互能力,包括 3D 小船、涟漪效果和水面音效,但仅观看不会创建会话或写入数据。插件完全兼容 DSH 原生工作流,用户可调整小船速度、管理音效,并通过预构建包便捷安装。
阅读全文dsh-stability-audit:DeepSeek Harness 插件稳定性审计
dsh-stability-audit 是一款专为 DeepSeek Harness(DSH)设计的插件稳定性审计工具,旨在防范插件故障引发的环境崩溃。该工具通过静态代码分析(扫描钩子、依赖等)和可选的隔离安装验证,对插件进行🔴高风险、🟡中风险、🟢低风险的分级,并提供修复建议。它支持本地扫描、远程预审及批量测试,且全程以只读模式运行,确保环境安全。开发者可借此在安装或维护插件前主动排查隐患。
阅读全文dsh-plugin-session-delete:DeepSeek Harness 会话删除插件
这是一个为 DeepSeek Harness (DSH) 补齐删除能力的插件,由 chuling-lingling 维护。原版 dsh 仅支持归档隐藏会话,数据仍存于磁盘;本插件通过顶部 Trash 按钮实现彻底删除。 核心功能包括:移除内存会话、删除磁盘目录 `~/.dsh/sessions/...`、UI 入口、安全校验及健壮性处理。安装依赖 `@deepseek-ai/schemastery`,需在 dsh 0.1.x 环境下启用。注意删除操作不可逆,且仅提供单条删除功能。
阅读全文dsh-session-chat-share:在 DSH 中分享会话消息为 Markdown、HTML、TXT 或 PNG
这是一个 DeepSeek Harness 社区插件,允许用户本地导出会话内容。它通过 `/share` 命令和菜单入口,支持导出 Markdown、HTML、TXT 或 PNG,并可选择是否包含工具调用或子代理对话。插件具备敏感信息脱敏功能,支持自定义消息范围,且数据不上传服务器。
阅读全文DeepSeek Harness 子代理过程检查器
DSH 插件 `dsh-subagent-inspector` 旨在解决子代理执行过程可视化监控的断层问题。该插件通过 Web profile 提供只读接口,将子代理的内部状态实时映射到前端,包括树形结构视图、Turn/Step 详情、实时更新机制及多语言支持。安装后,用户可在对话标题栏查看子代理树,但需注意其仅兼容特定版本的 Harness Web,且日志可能包含敏感信息,安装前需审查源码。
阅读全文dsh-infinite-context:DeepSeek Harness 插件,实现无限上下文的多层记忆管理
`dsh-infinite-context` 是 DeepSeek Harness (DSH) 的一个插件,旨在解决长对话中的上下文窗口溢出问题。它通过多层记忆金字塔(short/mid/long)、动态压缩阈值、语义检索与去重等机制,实现“无限上下文”体验。插件支持模型上下文感知、SQLite 持久化及深度思考介入。安装时需注意临时路径陷阱,推荐使用持久化目录。此外,它提供了丰富的手动工具用于记忆管理。
阅读全文DSH对话注释插件:在对话中引用助手回复
DeepSeek Harness(DSH)对话注释插件旨在解决引用助手回复特定段落的需求。该插件允许用户选中助手回复文字,将其暂存为独立注释,并在后续提交时作为上下文发送。其核心功能包括单条回复内的连续添加、非自动发送、悬浮卡片展示及语言跟随。安装简便且不依赖 Host 服务,通过监听选区事件管理上下文,确保了编辑兼容性与会话隔离。
阅读全文dsh-mcp-skill-manager:DeepSeek Harness 的 MCP 与技能库管理面板
DeepSeek Harness(DSH)的 MCP 服务器和技能库配置分散,该插件提供可视化面板以统一管理。核心功能包括:在 MCP 面板管理服务器状态、连接测试及工具令牌估算;在 Skills 面板浏览、创建技能,支持批量操作及按集合或规则分组;利用规则编辑器自动归类技能。插件需写入权限,旨在降低 DSH 用户的配置复杂度。
阅读全文dsh-theme-studio:DeepSeek Harness 主题覆盖插件
`dsh-theme-studio` 是一款便携式 DSH/Cordis 插件,用于在 DeepSeek Harness Web 和 Desktop 中统一管理主题。该插件通过叠加层方式,在官方外观设置之上提供内置调色板浏览、实时预览、主题应用及持久化存储功能。用户可在“通用”设置中预览或应用 `dsh-theme-studio.claude`、`.codex` 等内置主题。插件支持版本兼容性检查,并能在卸载时恢复官方主题。当前版本仅支持内置主题,暂无自动对比度认证及跨插件发现 API。
阅读全文DeepSeek Harness 安全插件 dsh-mcpguard
`dsh-mcpguard` 是 DeepSeek Harness (DSH) 生态中的首个安全插件,旨在拦截配置文件中的 Prompt 注入、同形异义字、Shell 命令及凭证泄露风险。该插件由 ChenLaoshiYF 维护,提供静态扫描(JSON 报告)和实验性的运行时观察功能,完全在本地运行,无网络请求且具备隐私保护机制。开发者可通过 CLI 或界面安装使用,用于在代码运行前发现潜在安全隐患。
阅读全文DeepSeek Harness Reliability Governor:DeepSeek Harness 插件
DeepSeek Harness 可靠性治理者插件旨在解决智能体任务输出依赖 LLM 采样导致的“虚假完成”问题。该插件通过“可靠性契约”机制,将一次性断言转变为基于证据的确定性决策过程。核心功能包括任务评估、草稿生成、代码验证及状态监控,支持在执行前进行两阶段意图确认。插件采用保守的证据取消策略,防止非治理者工具调用影响验证结果。此非官方社区项目为 DSH 智能体提供了严格的证据审查和边界测试基础设施。
阅读全文dsh-memory (Cairn):DeepSeek Harness 的持久化记忆
dsh-memory 是 DeepSeek Harness (DSH) 的记忆插件,旨在解决智能体会话结束后上下文丢失的问题。该插件提供跨会话持久化存储,支持 global、project 和 user 三层作用域记忆。它利用 BM25 算法进行高相关性检索,并提供摘要优先注入和步骤级自动召回功能。此外,插件具备身份自动更新、安全扫描、去重管道及双层生命周期管理,并附带管理界面和人工审核机制,适用于需要长期维护上下文的复杂任务开发。
阅读全文dsh-sidebar-cdp-browser
`dsh-sidebar-cdp-browser` 是 DeepSeek Harness (DSH) 侧边栏插件,旨在通过 CDP 协议在 Web 界面实时监控和受控操作外部 Chromium 浏览器。 **功能与特性:** 该插件利用 `Page.startScreencast` 将外部浏览器的 JPEG 像素流实时渲染到 Canvas 上,支持设备像素比缩放。它具备目标管理功能,允许切换、新建或关闭页面。交互控制支持鼠标点击、拖拽、滚轮及键盘输入(IME),并通过严格的白名单协议回传指令。 **安全与配置:** 为保障安全,交互采用两级门控(主开关+复选框)及 30 秒 TTL 票据系统。
阅读全文dsh-notepad:DeepSeek Harness Web GUI 的常用片段库
dsh-notepad 是 DeepSeek Harness Web GUI 的本地插件,用于集中管理常用提示词和代码片段。该插件支持分类管理、搜索筛选、一键复制,并具备导入导出功能。数据安全存储于本地,不收集任何隐私信息,有效解决了在 dsh web 中频繁切换窗口查找内容的问题。
阅读全文dsh-sightline:DeepSeek Harness 指令源对比工具
dsh-sightline 是 DeepSeek Harness 的一个插件,旨在解决不同编码智能体(如 DSH、Codex、Claude Code)在处理仓库指令时可能存在的差异。该插件通过确定性规则解析并对比各智能体的指令视图,生成可视化报告,帮助开发者排查指令表面不一致的问题。插件为本地只读工具,不修改文件,兼容特定版本的 DSH、Node 和 pnpm,并遵循 MIT 协议开源。
阅读全文dsh-agnes:为 DeepSeek Harness 提供 Agnes AI 图像与视频生成能力
dsh-agnes 是 DeepSeek Harness 的联网工具插件,由 chaoliu615 开发。它集成了 Agnes AI 的图像与视频生成接口,提供 `agnes_image_generate` 和 `agnes_video_generate` 两个核心工具,支持文生图、图生图及文生视频等功能。插件允许 Agent 通过 DSH 工具直接调用免费生成能力,降低对外部服务的依赖。设置页支持参数持久化配置,视频生成采用异步流程。安装需指定 web profile 并配置 API Key,适用于需要多模态素材的开发者。
阅读全文