This file is a Codex skill discovery stub.
Canonical skill source:
plugins/evidence-and-tooling/skills/differential-test-harness-gen/SKILL.md
When this skill is selected, follow the canonical source file above.
Generate cross-implementation differential test harnesses for cryptographic code: official test-vector and Wycheproof replay, normalization of error/result semantics, deterministic corpus capture, and evidence handoff to crypto-fp-check. User-triggered only — never auto-invoked by the audit flow.
npx skillmds@latest add yue-zhou1/differential-test-harness-gen This file is a Codex skill discovery stub.
Canonical skill source:
plugins/evidence-and-tooling/skills/differential-test-harness-gen/SKILL.md
When this skill is selected, follow the canonical source file above.
Yue-Zhou1/zkcrypto-audit/tree/main/.codex/skills/differential-test-harness-gen commit 8ce7e8f558