Agent Skills for firmware work with LabWired — a deterministic digital-twin simulator that acts as a hardware oracle for AI coding agents.
Every AI can write firmware now. LabWired is the layer that proves it runs — the same binary in sim, on the bench, and in CI, byte-exact. These skills teach an agent (Claude Code, Codex, or any MCP-capable agent) to use that oracle honestly.
| Skill | What it does |
|---|---|
firmware-verification |
The agent may not claim firmware works until LabWired's deterministic oracle (labwired_verify) returns proven: true. No self-reported success. |
These skills call the LabWired MCP tools (labwired_compile, labwired_run, labwired_verify,
labwired_describe, …). Install the MCP server first:
claude mcp add labwired -- npx -y @labwired/mcp(or add it to your agent's MCP config — see the @labwired/mcp package.)
Copy a skill into your skills directory:
# personal (all projects)
cp -r firmware-verification ~/.claude/skills/
# or project-scoped
cp -r firmware-verification /path/to/project/.claude/skills/The agent discovers it automatically and triggers it whenever you're about to claim firmware compiles, runs, boots, or passes.
The agent proposes — drafts firmware, guesses a fix. The deterministic oracle disposes — runs the exact binary against a register-level twin and says yes/no against an explicit behavioral oracle it cannot fake. No claim of correctness ever rests on an LLM self-report.
MIT