Menü
Codex compatibility stub for the kani-harness-gen plugin skill.
Mit Codex oder Claude installieren Kopieren Sie diesen Prompt, fügen Sie ihn in Codex, Claude oder einen anderen Assistant ein und lassen Sie die Skill-Seite prüfen und installieren.
Basierend auf der SOC-Berufsklassifikation
| 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.
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.
