Menu
Codex compatibility stub for the kani-harness-gen plugin skill.
Installer avec Codex ou Claude Copiez ce prompt, collez-le dans Codex, Claude ou un autre assistant, puis laissez-le vérifier la page du skill et l'installer pour vous.
Basé sur la classification professionnelle SOC
Route a full cryptographic or ZK audit across the framework. Use when you need to decide which skill should run next, which domain auditors apply, or how to move from initial context to verified finding, report, and index flow.
Audit ZK circuits, proof systems, and verifier code for soundness and transcript failures. Use when reviewing witness constraints, Fiat-Shamir flows, KZG/PCS setup assumptions, public input encoding, or recursive proof threading.
Codex compatibility stub for the audit-common plugin skill.
Codex compatibility stub for the cairo-auditor plugin skill.
Codex compatibility stub for the commitment-scheme-auditor plugin skill.
Codex compatibility stub for the crypto-audit-context plugin skill.
| name | kani-harness-gen |
| description | Codex compatibility stub for the kani-harness-gen plugin skill. |
| generated_from | scripts/sync_codex_stubs.py |
This file is auto-generated for OpenAI Codex skill discovery. Do not edit this file by hand.
Canonical skill source:
plugins/evidence-and-tooling/skills/kani-harness-gen/SKILL.md
When this skill is selected, follow the canonical source file above.
