embedded-workbench
Embedded C/C++ firmware engineering skill bundle with FreeRTOS, HardFault triage, Keil MDK tools, and verification gates for DSH.
Install
$ dsh plugin --profile web add dsh-embedded-workbenchPlugin Overview & Capabilities
AI-assisted organization based on the public repository snapshot. The content must be grounded in source evidence and does not replace compatibility or security verification.
Key Capabilities
- Registers specialized embedded firmware skills covering FreeRTOS, ISR handling, NVM storage, and LVGL patterns
- Provides Cortex-M HardFault diagnostics from fault registers, stack frames, and PC mapping
- Assists with Keil MDK (ARM Compiler 5 & 6) UV4 CLI automation, build diagnostics, and .map file analysis
- Guides state machine architecture, timeout gating, retry handling, and C/C++ memory layout patterns
- Injects a lightweight Plan Verification Gate and context budget rule into the first model step
- Provides built-in claim fact-checking against local codebase symbols, files, and constraints
Useful For
- Debugging Cortex-M processor crashes and HardFault registers during firmware execution
- Architecting FreeRTOS task communication, timer safety, and non-blocking state machines
- Automating and diagnosing Keil MDK command-line builds and link map memory allocations
- Validating firmware refactoring plans against actual code definitions before implementation
Who It Fits
- Embedded C and C++ firmware engineers
- IoT device developers working with RTOS environments and ARM Cortex-M microcontrollers
- Firmware architects requiring strict verification and state machine discipline
Documented Limitations
- Dynamic Gate Injection toggle in the DSH Web UI requires DSH >= 0.1.7-alpha.1
- The 4 multi-agent roles from other harnesses are not ported as separate DSH agents, delegating multi-agent execution to DSH native subagents
- Advanced executable model verification requires the companion logicprobe plugin; otherwise it falls back to built-in fact-checking
DSH Compatibility
Version-specific runtime evidence collected by DSH Plugin. A missing result means we have not tested that combination yet.
Security Signals
Objective signals discovered from package metadata and source inspection. These are not a guarantee that a plugin is safe.
package.json declares 0 runtime, 12 development, 6 peer, and 0 optional dependencies.
package.json declares DSH bundle metadata.
GitHub reports the repository license as MIT.
A root package.json was captured and can be inspected by the registry.
Public GitHub source metadata is available for this registry snapshot.
Source & Registry Notes
Public provenance, Registry classification, and the latest source check for this entry, kept separate from runtime verification.
- Source repository
- AmethystLuna/embedded-workbench
- Registry source
- GitHub · dsh-plugin topic
- Registry classification
- Plugin Bundle
- Source checked
- 0058d72 · 2026-10-11
This project is independently indexed from public source information. DSH Plugin is not affiliated with DeepSeek or the plugin author. Always check the author repository before installation.
Repository Activity
- GitHub stars
- 14GitHub stars
- Forks
- 2
- Open issues
- 2
- Last commit
- 2026-10-11
- Last release
- No release detected
Related DSH Plugins
Ranked by overlapping capabilities, use cases, plugin type, categories, and DSH profile.
Agent skill for DeepSeek Harness that turns ideas, plans, and codebases into interactive architecture diagrams.
View plugin →Bundle of 88 open-source Agent Skills for research, business intelligence, marketing, and SEO in DeepSeek Harness.
View plugin →Native SQLite-backed task management and project board bundle with Web UI and Agent workflow tools for DeepSeek Harness.
View plugin →Second-model AI auto-review for DeepSeek Harness approval requests with fail-closed fallback and session audit logging.
View plugin →