Menu
Codex compatibility stub for the kani-harness-gen plugin skill.
Install with Codex or Claude Copy this prompt, paste it into Codex, Claude, or another assistant, and let it review the skill page and install it for you.
Based on SOC occupation classification
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.
