Spec-driven development harness for AI coding agents. Grill the decisions, write the RFC/PRD, check every spec claim against the real code, build against named proofs, then pass one adversarial audit. Specs stay up to date with what shipped. Claude Code & omp plugin, any language.
1 plugin · micaelcf/ef-harness