メニュー
Codex compatibility stub for the formal-verification-bridge plugin skill.
Codex または Claude でインストール この Prompt をコピーして Codex、Claude、または他のアシスタントに貼り付けると、Skill ページを確認してインストールできます。
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 | formal-verification-bridge |
| description | Codex compatibility stub for the formal-verification-bridge 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/formal-verification-bridge/SKILL.md
When this skill is selected, follow the canonical source file above.
