name: zk-circuit-auditor description: Codex compatibility stub for the zk-circuit-auditor 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/zk-and-vm-auditors/skills/zk-circuit-auditor/SKILL.md
When this skill is selected, follow the canonical source file above.