E

Embedded Workbench

Embedded C/C++ firmware development toolbox — 7 skills (FreeRTOS, Keil MDK, ARMCLANG, HardFault triage, state machines, LVGL) plus workflow gates and 4 agents for Claude Code, Codex, Cursor, Kimi, OpenCode, and ZCode

amethyst-luna/embedded-workbench · v0.9.1 · Development & Workflow

Amethyst LunaOwner verifiedsafe

Trust Score

92

Security

100

Surfaces

8

What is Embedded Workbench?

Embedded Workbench is a published development & workflow plugin for AI coding agents in the codex ecosystem, developed by Amethyst Luna and distributed through the HOL AI plugin registry. Embedded C/C++ firmware development toolbox — 7 skills (FreeRTOS, Keil MDK, ARMCLANG, HardFault triage, state machines, LVGL) plus workflow gates and 4 agents for Claude Code, Codex, Cursor, Kimi, OpenCode, and ZCode

Canonical slug: amethyst-luna/embedded-workbench
Version: v0.9.1 · updated Sep 30, 2026
Open data: entity.json (JSON-LD)

Trust & Reputation

HOL Trust Score

92

Factor Analysis

Per-metric points (0–100 each) combined via a weighted average into the overall score.

Installability

100pts

Maintenance

100pts

MCP Posture

100pts

Plugin Security

100pts

Provenance

70pts

Publisher Quality

75pts

Registry Snapshot

Repository: https://github.com/AmethystLuna/embedded-workbench
Homepage: https://github.com/AmethystLuna/embedded-workbench
Canonical profile: https://hol.org/registry/plugins/amethyst-luna%2Fembedded-workbench
Publisher verification: No
Marketplace source: Unknown
Scanner: Broker fallback
Safety label: safe
Digest verified: Yes

8 bundled skills — copy or download SKILL.mdOpen skills

Trust & reputation

Trust & Reputation

HOL Trust Score

92

Factor Analysis

Per-metric points (0–100 each) combined via a weighted average into the overall score.

Installability

100pts

Maintenance

100pts

MCP Posture

100pts

Plugin Security

100pts

Provenance

70pts

Publisher Quality

75pts

Provenance

Plugin root: .
Source repo: https://github.com/AmethystLuna/embedded-workbench
Source commit: a6f5aacfa1cc…
Publisher verified: No
Owner verified: @AmethystLuna

Continuous scanner CI detected

No action is required. This plugin receives the full trust score.

Verified badge not detected

Add the HOL verified badge to the repository README to score +2% trust. Plugin owners can open that pull request from Guard Plugins.

Security Posture

safe

Safety label

100

Security score

0

High findings

Provider: registry-broker-fallback
Grade: A · safe
Version: Unknown

cisco-skill-scanner: unknown

Findings

infoskill-securityskill-scan.unavailable

Cisco skill scanner timed out after 60000 ms

infoskill-securityskill-scan.unavailable

Cisco skill scanner timed out after 60000 ms

infoskill-securityskill-scan.unavailable

Cisco skill scanner timed out after 60000 ms

infoskill-securityskill-scan.unavailable

Cisco skill scanner timed out after 60000 ms

infoskill-securityskill-scan.unavailable

Cisco skill scanner timed out after 60000 ms

infoskill-securityskill-scan.unavailable

Cisco skill scanner timed out after 60000 ms

infoskill-securityskill-scan.unavailable

Cisco skill scanner timed out after 60000 ms

infoskill-securityskill-scan.unavailable

Cisco skill scanner timed out after 60000 ms

Embedded Workbench — Frequently asked questions

What is Embedded Workbench?: Embedded Workbench is an AI plugin in the HOL registry. Embedded C/C++ firmware development toolbox — 7 skills (FreeRTOS, Keil MDK, ARMCLANG, HardFault triage, state machines, LVGL) plus workflow gates and 4 agents for Claude Code, Codex, Cursor, Kimi, OpenCode, and ZCode
How do I install Embedded Workbench?: Install Embedded Workbench in your harness: Codex — codex plugin marketplace add AmethystLuna/embedded-workbench; Claude Code — /plugin marketplace add AmethystLuna/embedded-workbench; Cursor — npx skills add AmethystLuna/embedded-workbench. Full step-by-step guidance is on the HOL plugin page.
How do I install Embedded Workbench in Codex?: To install Embedded Workbench in Codex, start with codex plugin marketplace add AmethystLuna/embedded-workbench. The complete step-by-step install guide for Codex is on the HOL plugin page.
How do I install Embedded Workbench in Claude Code?: To install Embedded Workbench in Claude Code, start with /plugin marketplace add AmethystLuna/embedded-workbench. The complete step-by-step install guide for Claude Code is on the HOL plugin page.
How do I install Embedded Workbench in Cursor?: To install Embedded Workbench in Cursor, start with npx skills add AmethystLuna/embedded-workbench. The complete step-by-step install guide for Cursor is on the HOL plugin page.
Is Embedded Workbench free?: Pricing for Embedded Workbench is published on its HOL plugin page when the maker schedules a launch.
Who publishes Embedded Workbench?: Embedded Workbench is published by Amethyst Luna and listed on HOL.
Is Embedded Workbench available now?: Embedded Workbench availability is listed on its HOL plugin page.

Install Guidance

Install in Claude Code

Install through the Claude Code plugin marketplace.

Claude Code plugin docs

1
Add the marketplace
Run this inside a Claude Code session.
claude code
2
Install the plugin
Use the plugin name and the marketplace name shown by the previous command.
claude code
3
Scripted alternative
Non-interactive equivalent for scripts and CI pipelines. Add --scope project to pin the install to one repository.
shell

Plugin Manifest

{
  "name": "embedded-workbench",
  "version": "0.9.1",
  "description": "Embedded C/C++ firmware development toolbox — 4 agents, 8 skills covering FreeRTOS, ISR, NVM storage, Keil MDK (AC5/AC6), ARMCLANG, HardFault triage, state machines, architecture principles, LVGL patterns, and claim fact-checking.",
  "author": {
    "name": "Amethyst Luna",
    "url": "https://github.com/AmethystLuna"
  },
  "homepage": "https://github.com/AmethystLuna/embedded-workbench",
  "repository": "https://github.com/AmethystLuna/embedded-workbench",
  "license": "MIT",
  "keywords": [
    "embedded",
    "firmware",
    "c",
    "cpp",
    "freertos",
    "debugging",
    "keil",
    "armclang",
    "cortex-m",
    "hardfault",
    "state-machine",
    "lvgl",
    "architecture"
  ],
  "skills": "./",
  "interface": {
    "displayName": "Embedded Workbench",
    "developerName": "Amethyst Luna",
    "shortDescription": "Embedded C/C++ firmware toolbox with 4 agents and 8 skills",
    "longDescription": "Embedded C/C++ firmware development toolbox for Cortex-M targets. Covers FreeRTOS tasks/ISR, Keil MDK builds (AC5/AC6), ARMCLANG, HardFault triage via .map analysis, state-machine design, architecture principles, and LVGL patterns. Battle-tested on real hardware projects.",
    "category": "Development",
    "capabilities": [
      "Interactive",
      "Read",
      "Write"
    ],
    "defaultPrompt": [
      "Debug this HardFault on my Cortex-M firmware",
      "Design a state machine for async motor control",
      "Review this embedded C code for ISR safety"
    ],
    "websiteURL": "https://github.com/AmethystLuna/embedded-workbench",
    "privacyPolicyURL": "https://github.com/AmethystLuna/embedded-workbench",
    "termsOfServiceURL": "https://github.com/AmethystLuna/embedded-workbench",
    "brandColor": "#059669",
    "logo": "./assets/app-icon.png"
  },
  "registryIndexVersion": 5
}

Marketplace Source

Repo URL: https://github.com/AmethystLuna/embedded-workbench
Marketplace path: Unknown
Source path: .
Install policy: Unspecified

Skills

8 SKILL.md files ship with this plugin. Preview, copy, or download each one, then install them with the Skills CLI.

skills-cli

c-cpp-dev
skills/c-cpp-dev/SKILL.md
Use when writing, reviewing, or refactoring C/C++ code, especially on 32-bit ARM embedded targets. NOT for formatting-only changes, simple file reads, non-embedded C/C++ (desktop/server), or C#/Java despite the 'C' in the name.
Raw SKILL.md
SKILL.md content is not in this snapshot. Open the raw file to copy it from the source repository.
debug-methodology
skills/debug-methodology/SKILL.md
Use when debugging embedded firmware issues — analyzing crash logs, investigating state machine lockups, tracing sensor/signal anomalies, or performing structured root-cause analysis after a crash has been located. For fault-register and stack-frame triage, load hardfault-triage first.
Raw SKILL.md
SKILL.md content is not in this snapshot. Open the raw file to copy it from the source repository.
embedded-firmware-dev
skills/embedded-firmware-dev/SKILL.md
Use when writing or reviewing embedded C firmware, FreeRTOS tasks, ISR handlers, NVM/flash storage, or sensor driver state machines. NOT for documentation-only RTOS references, conceptual RTOS discussions, or bare-metal projects without an RTOS or sensor subsystem.
Raw SKILL.md
SKILL.md content is not in this snapshot. Open the raw file to copy it from the source repository.
embedded-workbench
skills/embedded-workbench/SKILL.md
Use when starting any non-trivial coding task — loads risk-proportional workflows, engineering policies, and principles for embedded C/C++ firmware development. NOT for trivial single-line fixes, formatting-only changes, or read-only queries.
Raw SKILL.md
SKILL.md content is not in this snapshot. Open the raw file to copy it from the source repository.
fact-check
skills/fact-check/SKILL.md
Use when reviewing design documents, architecture specs, technical proposals, or plans that make claims about API names, file paths, enum values, counts, or mechanism feasibility — a lightweight claim-by-claim check against the codebase with evidence. Built into embedded-workbench as the fallback when the full logicprobe plugin is not installed. NOT for state machines, protocol/retry logic, or 'always'/'never' behavioral claims that need executable model verification — those require the logicprobe plugin.
Raw SKILL.md
SKILL.md content is not in this snapshot. Open the raw file to copy it from the source repository.
hardfault-triage
skills/hardfault-triage/SKILL.md
Use when triaging processor exception crashes — HardFault, MemManage, BusFault, UsageFault, data/prefetch abort, illegal instruction, or watchdog timeout. Covers fault-register interpretation, stack-frame extraction, PC-to-source resolution, and root-cause classification.
Raw SKILL.md
SKILL.md content is not in this snapshot. Open the raw file to copy it from the source repository.
keil-mdk-build
skills/keil-mdk-build/SKILL.md
Use when building, flashing, or packaging firmware with Keil MDK (UV4 CLI, ARMCLANG), analyzing .map files for ROM/RAM optimization and memory budget, or diagnosing Keil-specific build failures. NOT for non-Keil build systems (Makefile, CMake, IAR, GCC-only). For crash triage see hardfault-triage.
Raw SKILL.md
SKILL.md content is not in this snapshot. Open the raw file to copy it from the source repository.
state-machine-design
skills/state-machine-design/SKILL.md
Use when reviewing or fixing async protocols, retries, ACK/NACK handling, pending flags, timeout logic, or state-machine lockups in embedded firmware. NOT for generic network protocol design (TCP/HTTP/MQTT) unless targeting embedded firmware stack.
Raw SKILL.md
SKILL.md content is not in this snapshot. Open the raw file to copy it from the source repository.

File Inventory

.claude-plugin/plugin.json

file

698 bytes

52f91771ae8f5d21…

.codex-plugin/plugin.json

plugin-manifest

1,651 bytes

f30b0391a1007aea…

.cursor-plugin/plugin.json

file

1,181 bytes

80e08768e27df979…

.kimi-plugin/plugin.json

file

1,280 bytes

c8aa54e59bc8bdab…

agents/architecture-steward.md

file

3,597 bytes

6a461e73c8949668…

agents/design-reviewer.md

file

4,358 bytes

f07f7efb4294ffc1…

agents/execution-worker.md

file

3,736 bytes

fbc922c7cadb76ba…

agents/quality-coordinator.md

file

3,074 bytes

18865e3630d9697b…

assets/app-icon.png

asset

580 bytes

72c364656883a3ac…

CLAUDE.md

file

6,614 bytes

39f3bdea98d7d96f…

hooks/hooks.json

file

323 bytes

2afe012baf6f084b…

hooks/session-start-content.md

file

1,475 bytes

21ef135d0871920c…

package-lock.json

file

35,477 bytes

13d68b7ab51578da…

package.json

file

4,862 bytes

47a70c20db4d9ec7…

README.md

file

15,948 bytes

a945621ab046bec3…

SECURITY.md

file

792 bytes

b25ee1ee03735ff4…

skills/c-cpp-dev/SKILL.md

skill

6,360 bytes

9f29e36d8c3d9ff2…

skills/debug-methodology/references/iterative-debug-case-study.md

skill

6,988 bytes

412da1de7bc82057…

skills/debug-methodology/SKILL.md

skill

5,407 bytes

62c479087cdd7952…

skills/embedded-firmware-dev/references/architecture-principles.md

skill

8,802 bytes

385830339d1f5329…

skills/embedded-firmware-dev/references/embedded-patterns.md

skill

4,054 bytes

4271982363c4410a…

skills/embedded-firmware-dev/references/lvgl-pitfalls.md

skill

2,706 bytes

4af1dba672fc04c2…

skills/embedded-firmware-dev/SKILL.md

skill

7,927 bytes

e8525da92a59b8ab…

skills/embedded-workbench/references/audit-ledger.md

skill

472 bytes

b3a188c7b6d22030…

skills/embedded-workbench/references/contract-matrix.md

skill

441 bytes

ab900afb07ce1ec0…

skills/embedded-workbench/references/decision-log.md

skill

334 bytes

fbae9349b268e0f6…

skills/embedded-workbench/references/detailed-change-plan.md

skill

959 bytes

9957a7111a6813df…

skills/embedded-workbench/references/durable-requirement-notes.md

skill

322 bytes

2edc0523526a8064…

skills/embedded-workbench/references/final-qc.md

skill

485 bytes

835823bce817e68e…

skills/embedded-workbench/references/INDEX.md

skill

1,068 bytes

5e8410161e044619…

skills/embedded-workbench/references/iteration-notes.md

skill

581 bytes

ab19f8155d7a1aae…

skills/embedded-workbench/references/platform-tool-mapping.md

skill

13,088 bytes

16f4ffbccbb30870…

skills/embedded-workbench/references/proactive-suggestions.md

skill

2,580 bytes

52dc08729c045668…

skills/embedded-workbench/references/result-note.md

skill

626 bytes

0a4a7d2734724897…

skills/embedded-workbench/references/steward-memo.md

skill

637 bytes

e4eefcc49cfc84d7…

skills/embedded-workbench/references/task-charter.md

skill

562 bytes

e2aa084cca99eee4…

skills/embedded-workbench/SKILL.md

skill

17,653 bytes

dff0e0c9e948a14f…

skills/fact-check/SKILL.md

skill

2,560 bytes

c58b8fe9b1c52009…

skills/hardfault-triage/SKILL.md

skill

11,592 bytes

6c2033ac614b6d9a…

skills/keil-mdk-build/SKILL.md

skill

11,968 bytes

f636d04b931fcb9f…

skills/state-machine-design/SKILL.md

skill

8,572 bytes

c349d2f9f33023d8…

tsconfig.json

file

470 bytes

5afe18007f03fec7…