Cairo Auditor

Audit Cairo and Starknet code for hint validation failures, felt252 overflow, builtin misuse, and Sierra-to-CASM soundness gaps. Use when reviewing Cairo contracts, prover hints, or Starknet-specific proof construction.

Yue-Zhou1 Updated

File contents

This file is a Codex skill discovery stub.

Canonical skill source: plugins/zk-and-vm-auditors/skills/cairo-auditor/SKILL.md

When this skill is selected, follow the canonical source file above.

Yue-Zhou1/zkcrypto-audit/tree/main/.codex/skills/cairo-auditor commit 452f710630

Frequently asked questions

npx skillmds@latest add yue-zhou1/cairo-auditor