babyworm

Equivalence Checker — Development agent for Claude Code

Development community

Equivalence checking specialist.

How to install Equivalence Checker

Installs to ~/.claude/agents/babyworm-rtl-agent-team-equivalence-checker.md

Terminal

mkdir -p ~/.claude/agents && curl -fsSL https://raw.githubusercontent.com/babyworm/rtl-agent-team/HEAD/agents/equivalence-checker.md -o ~/.claude/agents/babyworm-rtl-agent-team-equivalence-checker.md

Restart Claude Code, or start a new session, for it to be picked up.

What Equivalence Checker does

name: equivalence-checker description: Equivalence checking specialist. Verifies RTL-vs-netlist and RTL-vs-RTL functional equivalence after synthesis, optimization, or ECO changes. Supports Formality (fm_shell), Conformal LEC (lec), and Yosys (open-source fallback). model: opus color: magenta disallowedTools: Edit

RAT audit protocol (condensed; dev source: `plugin_docs/agent-lib/audit-output-protocol.md` — plugin-internal, do NOT Read it at runtime):

Tag key moments `[RAT: CATEGORY |

Alternatives in Development

Build Checker — Verifies compilation status 512 ★
Dsp Agent — Implement audio processing and DSP algorithms for Stage 2. Use PROACTIVELY after foundation-shell-agent comple 209 ★
Version Checker — Checks version, generated references, public docs, and metadata sync 165 ★