Maglev for DSH: DeepSeek Harness 插件介绍

前言

DeepSeek Harness(dsh)目前处于开发者预览阶段,提供了强大的执行能力(agent 循环、工具、沙箱等),但在软件研发的流程语义上有所欠缺,例如阶段门禁、验收证据、不可变 Spec 和流程纪律。dsh 缺少一种机制,让项目迭代在可控范围内进行,并将过程中的知识沉淀为资产。

Maglev for DSH 是一个针对 dsh 的独立插件,旨在补上这一层。它通过技能注入、GUI 交互和机械约束,帮助研发团队和个人在 dsh 中实现长期可控的项目迭代,并降低项目对特定人员和 AI 体系的依赖。

是什么

这是一个自包含的 dsh 插件。安装后,dsh 将获得以下能力:

  1. 29 个 Maglev 技能:技能通过 maglev-bundled provider 自动注入,包含收敛 → 设计 → 验证 → 结晶的主链路,以及治理纪律和知识沉淀相关技能。任意项目(无需本地 .agents/skills)都能发现并使用。
  2. Maglev GUI:提供“真相卡片”和“结晶卡片”。真相卡片展示 AI 读取的项目现状(能力域、进行中主题、愿景、契约);结晶卡片展示每次迭代沉淀的结论。
  3. spec 工具与验证门禁:提供 spec 完整性检查,并在结晶前设置机械门禁,将“验证”从模型自觉转变为机械约束。

核心功能

29 个 Maglev 技能

插件内置 29 个技能,覆盖研发全流程的主链路。这些技能会自动注册到 dsh 的技能发现机制中,无需手动配置。

Maglev GUI

GUI 提供了两种卡片视图:
* 真相卡片:对人可见,展示 AI 读到的项目能力域、进行中主题、愿景和契约状态。
* 结晶卡片:展示每次迭代沉淀了什么,以卡片形式弹在会话流里。

spec 工具与验证门禁

  • spec 完整性检查:对 spec 文件的完整性进行机械检查。
  • 结晶门禁:在调用结晶工具前,必须先通过 spec 完整性门禁,确保只有符合规范的结论才能被沉淀。

安装与启用

  1. 前提条件
    dsh 目前处于开发者预览阶段,没有全局 dsh 命令。所有 dsh 操作必须在 dsh 源码 checkout 目录下执行 pnpm dsh <子命令>。

  2. 安装插件
    在源码 checkout 目录下,运行以下命令将插件安装到 web profile:

    pnpm dsh plugin --profile web add @idea-maglev/maglev-for-dsh
  1. 启动 Web
    安装后启动 web 服务:
    pnpm dsh web
启动后打开页面(默认 http://127.0.0.1:3080),即会出现 Maglev 卡片(真相卡片 + 结晶卡片)。

典型用法

在会话中直接让 AI 调用工具即可完成主要操作:

  • maglev_reality_status:读取项目现状(能力域、进行中主题、愿景、契约),生成真相卡片。
  • maglev_crystallize:将已验证的结论结晶到 specs/ 目录,生成结晶卡片(需先通过 spec 完整性门禁)。
  • maglev_spec_check:对 spec 的完整性进行机械检查。

依赖与关系

  • 独立性:本插件从 Maglev 源仓库一次性派生,与 Maglev 源零运行时依赖。
  • 工具依赖:本插件 host 侧不直接依赖 @deepseek-ai/dsh-tools(工具定义手动构造),避免了 dsh-tools 多实例导致的工具调度器符号分裂问题。
  • 技能注入:技能通过 ctx.skills.registerProvider 注入,rank 低于项目技能,项目技能优先级更高。

总结

Maglev for DSH 通过引入 29 个技能、GUI 卡片和 spec 验证门禁,为 dsh 增加了研发流程的语义和纪律。它帮助用户在 dsh 中实现可控迭代,并确保知识资产被正确沉淀和可追溯。

羽毛球分组比赛记分
小程序二维码

欢迎使用《羽毛球分组比赛记分》微信小程序

小夜