amethystluna/embedded-workbench
Embedded C/C++ firmware engineering plug-in: 8 skills (FreeRTOS/Keil/ARMCLANG/HardFault/State Machine/LVGL/Architecture), dsh native bundle injection session startup discipline gate (1% Rule / Red Flags / Plan Verification Gate)
Embedded Workbench is an embedded C/C++ firmware toolbox that packages 4 agents (architecture-steward, design-reviewer, execution-worker, quality-coordinator) and 8 skills covering FreeRTOS, ISR handling, NVM storage, Keil MDK AC5/AC6 and ARMCLANG builds, HardFault triage, state-machine design, LVGL patterns, C/C++ refactoring and claim fact-checking. Because it is built on the Agent Skills open standard, the same pack runs under DeepSeek Harness and several other agent hosts. A separate plugin, logicprobe, was split out for design-doc and plan claim verification; when it is absent the built-in fact-check skill is the fallback for the Plan Verification Gate.
Install
dsh plugin --profile web add dsh-embedded-workbenchThe README also documents the equivalent npx -p @deepseek-ai/dsh dsh plugin --profile web add dsh-embedded-workbench and a github:AmethystLuna/embedded-workbench form. The pack is built on the Agent Skills open standard and the README states it runs under Claude Code, Codex CLI, Cursor, Kimi CLI, OpenCode, ZCode and DeepSeek Harness. The npm package dsh-embedded-workbench 0.9.1 was re-verified live on 2026-10-01 with its repository field back-linking to AmethystLuna/embedded-workbench (MIT).
Compatibility
DeepSeek Harness (DSH) and other Agent-Skills hosts (Claude Code, Codex CLI, Cursor, Kimi CLI, OpenCode, ZCode). Skill bodies are Markdown; no build step. A companion plugin, logicprobe, is recommended for design-doc claim verification.
Details
- Repo: amethystluna/embedded-workbench
- Category: Skill Packs
- Stars: 0
- Version: npm dsh-embedded-workbench 0.9.1 (registry re-verified 2026-10-01); MIT
- Last push: 2026-08-17
- First seen: 2026-06-22
Recent updates
The README documents the component tables (4 agents, 8 skills with descriptions), the plan-verification gate and its fact-check fallback, a HOL Guard scanner badge, and the author's note that the skill content is distilled from personal embedded/firmware engineering experience. It recommends logicprobe as a companion plugin.
FAQ
- How do I install Embedded Workbench?
- Per the README: dsh plugin --profile web add dsh-embedded-workbench (or the npx -p @deepseek-ai/dsh ... / github:AmethystLuna/embedded-workbench forms). The npm package dsh-embedded-workbench 0.9.1 was re-verified on 2026-10-01.
- What does it cover?
- 4 agents plus 8 skills: FreeRTOS, ISR, NVM storage, Keil MDK AC5/AC6 and ARMCLANG, .map analysis, HardFault triage, state-machine design, C/C++ refactoring, LVGL patterns and claim fact-checking.
- Does it only work with DeepSeek Harness?
- No -- the README says the Agent-Skills-standard pack also runs under Claude Code, Codex CLI, Cursor, Kimi CLI, OpenCode and ZCode.
Alternatives
MJorgin/dsh-media-skills · csiroqa/dsh-command-opt · dhicoc/dsh-reverse-skill