Menu
Codex compatibility stub for the formal-verification-bridge plugin skill.
Instalar com Codex ou Claude Copie este prompt, cole no Codex, Claude ou outro assistente e deixe que ele revise a página da skill e instale para você.
Baseado na classificação ocupacional 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.
