嵌入式工作台

嵌入式 C/C++ 固件开发工具箱：4 个代理、8 个技能，覆盖 FreeRTOS、中断、NVM 存储、Keil MDK（AC5/AC6）、ARMCLANG、HardFault 分析、状态机、架构原则与 LVGL 陷阱。

跨平台：支持 Claude Code、Codex CLI、Cursor、Kimi CLI、OpenCode、ZCode、DeepSeek Harness (dsh)。基于 Agent Skills 开放标准构建。

组件

代理 (4)

代理	说明
`architecture-steward`	只读规划：设计包、模块边界、切片拆分
`design-reviewer`	设计文档事实核查：逐条核验声称与代码库事实
`execution-worker`	计划 → 审批 → 实施循环，含编译验证
`quality-coordinator`	实现审查：Bug 发现、合规检查、结束完整性

技能 (8)

技能	说明
`embedded-workbench`	引导技能：工作流、策略、子代理映射、主动建议、跨平台工具映射、文档模板
`debug-methodology`	8 条调试铁律、修复准则、迭代调试案例研究
`embedded-firmware-dev`	FreeRTOS、中断、NVM 存储、异步生命周期、边界分析、架构原则、LVGL 陷阱
`keil-mdk-build`	UV4 CLI、ARM Compiler 5/6、.map 分析、合并打包、构建诊断
`c-cpp-dev`	C/C++ 代码生成、风格、内存布局、重构
`state-machine-design`	状态模型、重试、超时、转换门控、实现模式
`hardfault-triage`	处理器异常分类：故障寄存器、栈帧、PC 定位源码、根因分类
`fact-check`	声称核查回退：逐条对照代码库核实 API 名、文件路径、枚举值、数量与机制可行性。logicprobe 未安装时由 Plan Verification Gate 使用

logicprobe（文档与计划声称核查技能）已拆分为独立插件，见下方其他插件推荐。未安装时，Plan Verification Gate 回退到本插件自带的 fact-check 技能。只有行为与模型类声称会降级为人工确认。

技能内容大多来自作者个人嵌入式与固件开发的工作经验，按实际工程踩坑与约束沉淀，而非泛泛的模型生成内容。

深度参考

embedded-firmware-dev、debug-methodology、state-machine-design、c-cpp-dev 包含深度参考或代码示例。内容包括 12 条架构原则、嵌入式模式（GIF 定时器安全、状态锁存、异步生命周期）、LVGL 陷阱、7 轮迭代调试案例研究、状态机实现模式，以及嵌入式 C 专项（volatile MMIO、链接器段、ISR 安全路径）。

安装

Claude Code 安装（推荐）

在 Claude Code 的 ~/.claude/settings.json 中添加 marketplace：

{
  "extraKnownMarketplaces": {
    "embedded-workbench": {
      "source": { "source": "github", "repo": "AmethystLuna/embedded-workbench" }
    }
  }
}

然后通过 CLI 安装：

claude plugin install embedded-workbench@embedded-workbench

Claude Code 手动安装

git clone https://github.com/AmethystLuna/embedded-workbench.git ~/.claude/plugins/dev/embedded-workbench

然后在 ~/.claude/settings.json 中启用：

{
  "enabledPlugins": {
    "embedded-workbench@dev": true
  }
}

DeepSeek Harness (dsh)

原生 dsh 支持以 cordis 插件 bundle 的形式提供，位于仓库根，由根 package.json 声明。

这个 bundle 做三件事：

注册技能。 技能遵循 Agent Skills 开放标准，由 dsh 的 skill-filesystem provider 原样发现，不需要额外代码。
注入门禁。 每个 agent 会话的第一个模型步骤会收到一段精简后的首步门禁，内容是 Plan Verification Gate 加上下文预算规则。它由 enabled 控制，默认开启。这是 Claude SessionStart hook 在 dsh 上的对应物。载荷里为什么不再有 1% Rule 和 Red Flags，见设计取舍与反馈。
注册目录条目。 模型可见的目录条目（cordis_inspect）始终注册。4 个自定义 agent 有意不移植，因为 dsh 原生的 subagent 工具已经覆盖并行多 agent 工作。

安装（原生 bundle，推荐）：

# 从 npm 安装（包名 dsh-embedded-workbench）
dsh plugin --profile web add dsh-embedded-workbench
# 或从 GitHub 源码安装
dsh plugin --profile web add "github:AmethystLuna/embedded-workbench"
# 未全局安装 dsh 时可用 npx
npx -p @deepseek-ai/dsh dsh plugin --profile web add dsh-embedded-workbench

装完重启 profile。运行 dsh --profile web --dump-config 应看到 id: embedded-workbench 且 enabled: true。更多方式（纯技能拷贝、项目级等）见 .dsh/INSTALL.md。

DSH 安装注意：npm 包名为 dsh-embedded-workbench，没有 scope。在 web profile 的 package.json 中，依赖键与 dsh.profile.bundles 必须都写 dsh-embedded-workbench。写错时 dsh 加载器找不到 node_modules/dsh-embedded-workbench，启动会失败。

使用

技能按需加载，不依赖注入：

调用 Skill("embedded-workbench") 加载工作流与工程策略。技能内部按风险比例选择轻量或完整路径，不强制固定阶段。
领域技能在任务匹配其 Use when 描述时自动激活。描述里的 NOT 子句用于防止误触发，例如纯格式化不会加载 c-cpp-dev。
Agent 在检测到状态机、行为声称或多模块任务时，主动建议验证、对抗探测和并行子代理。
无需手动配置 CLAUDE.md。

插件还会在会话首个模型步骤注入一段精简门禁，约 400 token。它只含两件事。第一件是 Plan Verification Gate。第二件是上下文预算规则：看不到读数就不要猜；工作量大且无信号时问用户，由用户决断。设 enabled: false 可完全关闭。

设计取舍与反馈

这一版做了一次基于证据的回退。理由写在下面，欢迎质疑。

背景：我们逐个核对了 8 个受支持 harness 的官方文档，Codex 还对照了源码。这次核对推翻了一个此前想当然的前提：8 家里有 7 家根本不向模型暴露任何上下文预算读数。这 7 家是 Claude Code、Copilot CLI、Cursor、OpenCode、Kimi CLI、ZCode 和 dsh，它们只把 token 数给用户界面。只有 Codex 提供一个 get_context_remaining 工具，而且默认关闭。也就是说，"让模型按预算自行判断要不要委派或切窗口"这件事本身没有依据。

因此分两步处理：

不再用"关掉注入"控制成本，改为"瘦身"。 首步门禁现在只保留两块。第一块是 Plan Verification Gate：未核查就必须告诉用户，不许静默跳过。第二块是上下文预算规则：看不到读数就不要猜；工作量大且无信号时问用户。载荷从约 1,400 token 降到约 400 token，实测 Claude 侧降 72%，dsh 侧降 58%。它现在默认开启。
验证门禁保留，强制执行脚手架退场。 原来的 1% Rule 与 9 行 Red Flags 表从注入载荷中移除。它们属于"强制纪律"，而社区实证显示这类提示会被能力较强的模型字面执行，产生僵硬阶段、多余提问，以及五行任务拉起六七个 agent 的 10–15× 开销。相关反馈见 obra/superpowers#1120、openai/codex#22005、#20366。完整表格仍保留在 Skill("embedded-workbench") 正文里：需要纪律时纪律还在，只是不再对所有人默认施压。工作流选择也从固定 agent 串场改为按风险比例。

有意保留的：Plan Verification Gate 的语义没有削弱。它的回退链是 logicprobe → 未安装则用内置 fact-check → 两者都没用就必须告知用户。按 Superpowers Lite 的原则，安全、权限与验证门禁属于应当保留的一类，按比例裁掉的应该是流程仪式。

已知的不确定：各 harness 的预算接口变动很快，我们只在 2026-09-25 核对过一次。platform-tool-mapping.md 里凡厂商未公开的格子都明确标为 UNVERIFIED，没有靠类比填空。

有不同意见？ 这些取舍是可讨论的判断，不是定论，尤其是"Red Flags 从载荷退场"和"门禁默认开"两条。欢迎到 Issues 提出。写清你用的模型档位、harness 和反例，我们倾向按证据调整。

Codex CLI

本插件同样支持 OpenAI Codex CLI。技能遵循 Agent Skills 标准，跨平台行为一致。代理以 Codex TOML 格式提供于 .codex/agents/。

Codex 安装

# 添加 marketplace
codex plugin marketplace add AmethystLuna/embedded-workbench

# 安装
codex plugin install embedded-workbench

或手动安装：

git clone https://github.com/AmethystLuna/embedded-workbench.git ~/.codex/plugins/embedded-workbench

技能通过 $skill-name 调用（如 $debug-methodology），或由 Codex 根据任务上下文自动匹配。

Cursor

Cursor 2.5+ 内置插件支持。agents/ 中的代理自动发现。

Cursor 安装

# 克隆到 Cursor 插件目录
git clone https://github.com/AmethystLuna/embedded-workbench.git ~/.cursor/plugins/embedded-workbench

或通过 Cursor 插件市场 UI 安装：/add-plugin AmethystLuna/embedded-workbench

Kimi CLI

Kimi CLI 自动从 .claude/skills/ 等标准路径发现技能。.kimi-plugin/plugin.json 为 Kimi 插件管理器注册插件。

Kimi 安装

# 通过 Kimi 插件管理器
/plugins install https://github.com/AmethystLuna/embedded-workbench.git

# 或手动克隆
git clone https://github.com/AmethystLuna/embedded-workbench.git ~/.kimi/plugins/embedded-workbench

技能通过 /skill:<name> 调用（如 /skill:debug-methodology）。

OpenCode

技能从 .claude/skills/ 和 .codex/skills/ 路径自动发现。在 opencode.json 中添加：

{
  "plugin": ["embedded-workbench@git+https://github.com/AmethystLuna/embedded-workbench.git"]
}

或通过 skop 安装（兼容 Claude marketplace 清单）。详见 .opencode/INSTALL.md。

ZCode（智谱 Z.AI）

ZCode 3.0+ 遵循 Agent Skills 标准。它没有插件商店，手动复制技能到 .zcode/skills/：

git clone https://github.com/AmethystLuna/embedded-workbench.git
cp -r embedded-workbench/skills/* .zcode/skills/

技能通过 $skill-name 调用。ZCode 也自动从 .claude/skills/ 和 .codex/skills/ 发现技能。详见 .zcode/INSTALL.md。

依赖

宿主：Claude Code v2.1+ / Codex CLI 最新版 / Cursor 2.5+ / Kimi CLI 最新版 / OpenCode 最新版 / ZCode 3.0+
DeepSeek Harness (dsh)：dev preview，声明支持 >= 0.1.0-rc.7。最新一轮在 0.2.1-alpha.1 上实测了安装、挂载、启动与卸载；更早一轮实测覆盖 0.1.5-rc.2 到 0.2.0-rc.2。逐版本证据见 DSH-COMPATIBILITY.md。
Web 端的「Gate 注入」开关需要 dsh ≥ 0.1.7-alpha.1，因为设置服务必须能投影即时字段。更早的 dsh 上插件与 8 个技能照常加载、照常注入，只是开关不出现，也不报错。
无外部依赖。

配置

在 DeepSeek Harness 中，bundle 支持以下配置：

键	类型	默认值	说明
`enabled`	boolean	`true`	设为 `false` 可完全关闭首步 Gate 注入；技能注册不受影响。
`gateContent`	string	内置 gate 文本	覆盖注入到首轮模型上下文中的文本。

在 dsh Web GUI 里可以直接改这个开关：侧边栏插件 → 本插件卡片 → 「Gate 注入」。它实时生效，不必重启 profile。它只管注入的那段文本：关掉后 8 个技能照常注册。同一张卡片上还有一个更粗粒度的行开关，关掉它会整行卸载插件，技能和这个开关一起消失。要持久化覆盖，仍按下面的 profile patch 写。

在 profile 的 cordis.patch.yml 中按 row id 覆盖（下面的例子自定义 Gate 文本）：

- insert:
    - id: embedded-workbench
      name: 'dsh-embedded-workbench'
      config:
        enabled: true
        gateContent: |
          ...

卸载

通过 DSH 插件管理器安装的，用同一管理器从目标 profile 中移除 embedded-workbench。
手动复制过 skills/* 的，删除 ~/.agents/skills/ 或项目 .dsh/skills/ 下的对应目录。
通过 cordis.patch.yml 添加的，删除 profile patch 中 id: embedded-workbench 的行，并重启 DSH。

权限与数据

插件运行时只读取包内自带的 skills/ 目录，用于通过 DSH 标准 filesystem skill provider 注册技能。
它会在会话首轮向模型上下文注入配置好的 gate 文本。
它不读取凭据，不发起网络连接，也不访问 DSH 会话上下文之外的用户数据。
实际使用技能时，模型会像使用其他编码技能一样，按用户指示读取项目文件。

故障排查

技能在 DSH 中不可见：确认 DSH 版本支持 ctx.skills 与 Agent Skills 发现，并在安装后重启 profile。
Gate 未注入：检查 enabled 是否为 false，以及 profile patch 中是否存在 id: embedded-workbench 的行。
插件管理器拒绝安装：确认 @deepseek-ai/* 包声明在 peerDependencies 中，而不是 dependencies。
手动复制后 DSH 仍看不到技能：改用原生 bundle 安装（dsh plugin add "github:AmethystLuna/embedded-workbench"）。

开发

npm install
npm run typecheck
npm run build

运行 DSH 技能注册测试和触发测试：

node tests/dsh-skills-registration.test.mjs
bash tests/skill-triggering/run-all.sh

许可证与安全

本项目使用 MIT 许可证，见 LICENSE。

如发现安全漏洞，请不要公开创建 issue，应使用 GitHub Security Advisory 或 SECURITY.md 中的联系方式私下报告。

其他插件推荐

插件简介

logicprobe 声称核查技能：逐条核验设计文档、架构规格、重构计划中的可验证声称与代码库是否一致，行为类声称升级为可执行模型验证。它自本插件拆分而来。Plan Verification Gate 优先使用它，未安装时回退到内置 fact-check 技能。安装：Claude 侧 claude plugin install logicprobe@logicprobe；dsh 侧 dsh plugin --profile <name> add dsh-logicprobe。

superpowers 原始 agent 纪律引擎：技能加载强制、Red Flags、子代理驱动开发。本插件的多项 agent 合规模式（1% Rule、Red Flags、<SUBAGENT-STOP>、指令优先级）均借鉴自 Superpowers。

致谢

本插件的 agent 合规架构借鉴自 Jesse Vincent 的 Superpowers（MIT License）。以下设计模式尤其有启发：

1% Rule：agent 会抗拒加载技能，需要极端语言突破这种偏见
Red Flags 表：枚举 agent 的合理化借口，以预先阻断
<SUBAGENT-STOP>：阻止子代理重复加载引导上下文
指令优先级：用户 > 技能 > 系统提示的分层架构
技能类型：Rigid 与 Flexible 的分类体系
会话启动注入模式：在会话启动时注入能力上下文的 hook 机制
触发测试框架：tests/skill-triggering/ 的结构和方法论

Superpowers 是通用开发插件。Embedded Workbench 把相同的纪律模式应用到嵌入式 C/C++ 领域。

Name		Name	Last commit message	Last commit date
.claude-plugin		.claude-plugin
.codex-plugin		.codex-plugin
.codex/agents		.codex/agents
.cursor-plugin		.cursor-plugin
.dsh		.dsh
.github		.github
.kimi-plugin		.kimi-plugin
.opencode		.opencode
.zcode		.zcode
agents		agents
assets		assets
hooks		hooks
lib		lib
scripts		scripts
skills		skills
src		src
tests		tests
.codexignore		.codexignore
.gitattributes		.gitattributes
.gitignore		.gitignore
.markdownlint.json		.markdownlint.json
.version-bump.json		.version-bump.json
CLAUDE.md		CLAUDE.md
CODE_OF_CONDUCT.md		CODE_OF_CONDUCT.md
DSH-COMPATIBILITY.md		DSH-COMPATIBILITY.md
LICENSE		LICENSE
README.en-US.md		README.en-US.md
README.md		README.md
RELEASE.md		RELEASE.md
SECURITY.md		SECURITY.md
cordis.patch.yml		cordis.patch.yml
package-lock.json		package-lock.json
package.json		package.json
tsconfig.json		tsconfig.json

Navigation Menu

Repository navigation

About

Repository files navigation

嵌入式工作台

组件

代理 (4)

技能 (8)

深度参考

安装

Claude Code 安装（推荐）

Claude Code 手动安装

DeepSeek Harness (dsh)

使用

设计取舍与反馈

Codex CLI

Codex 安装

Cursor

Cursor 安装

Kimi CLI

Kimi 安装

OpenCode

ZCode（智谱 Z.AI）

依赖

配置

卸载

权限与数据

故障排查

开发

许可证与安全

其他插件推荐

致谢

About

Releases

Packages

Contributors

Languages

Latest commit

History

Folders and files

Repository files navigation

嵌入式工作台

组件

代理 (4)

技能 (8)

深度参考

安装

Claude Code 安装（推荐）

Claude Code 手动安装

DeepSeek Harness (dsh)

使用

设计取舍与反馈

Codex CLI

Codex 安装

Cursor

Cursor 安装

Kimi CLI

Kimi 安装

OpenCode

ZCode（智谱 Z.AI）

依赖

配置

卸载

权限与数据

故障排查

开发

许可证与安全

其他插件推荐

致谢

About

Topics

Resources

Code of conduct

Security policy

Stars

Watchers

Forks

Releases

Packages

Contributors

Languages