embedded-workbench
Embedded C/C++ firmware development toolbox — FreeRTOS, ISR, NVM storage, Keil MDK, ARMCLANG, HardFault, state machines, architecture, LVGL patterns, and claim fact-checking. Ships a native DeepSeek Harness (dsh) bundle that folds a short gate — the Plan Verification Gate plus a context-budget rule — into the first model step.
What it is
Embedded C/C++ firmware development toolbox — FreeRTOS, ISR, NVM storage, Keil MDK, ARMCLANG, HardFault, state machines, architecture, LVGL patterns, and claim fact-checking…
How to install
Run this in the DSH web profile, then refresh the page.
$ dsh plugin --profile web add dsh-embedded-workbench@0.9.8
DSH versions accepted
^0.1.0-rc.6 || ^0.2.0-rc.1 || ^0.2.1-alpha.1 || ^0.2.1-alpha.2 || ^0.2.1-rc.2 || ^0.2.1-rc.3 || ^0.2.1-rc.4 || ^0.2.1-rc.5 || ^0.2.2-alpha.2 || ^0.2.2-rc.1 || ^0.2.2-alpha.3
Author and traction
AmethystLuna · ★ 32 · Updated 2026-11-06
About this plugin
嵌入式工作台
English · 中文
嵌入式 C/C++ 固件开发工具箱：覆盖 FreeRTOS、中断、NVM 存储、Keil MDK（AC5/AC6）、ARMCLANG、HardFault 分析、状态机、架构原则与 LVGL 陷阱。
跨平台：支持 Claude Code、Codex CLI、Cursor、Kimi CLI、OpenCode、ZCode、DeepSeek Harness (dsh)。基于 Agent Skills 开放标准构建。 组件 代理 (4) 技能 (8) 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：
然后通过 CLI 安装：
Claude Code 手动安装
然后在 ~/.claude/settings.json 中启用：
DeepSeek Harness (dsh)
原生 dsh 支持以 cordis 插件 bundle 的形式提供，位于仓库根，由根 package.json 声明。
Similar plugins
archify
Turn any idea, plan, or codebase into a beautiful interactive diagram. An agent skill for Claude Code, Codex, and more.
nuwa-skill
女娲：把任何人蒸馏成可运行的思维 Skill。
distilly
Distill source material into reusable Person Profiles for AI agents.