This file is a Codex skill discovery stub.
Canonical skill source:
plugins/evidence-and-tooling/skills/fuzz-harness-gen/SKILL.md
When this skill is selected, follow the canonical source file above.
Generate cargo-fuzz targets for Rust cryptographic code. User-triggered only and never auto-invoked by the audit flow. Produces crash and edge-case evidence for crypto-fp-check.
npx skillmds@latest add yue-zhou1/fuzz-harness-gen This file is a Codex skill discovery stub.
Canonical skill source:
plugins/evidence-and-tooling/skills/fuzz-harness-gen/SKILL.md
When this skill is selected, follow the canonical source file above.
Yue-Zhou1/zkcrypto-audit/tree/main/.codex/skills/fuzz-harness-gen commit c03492b953