# 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.

- Skill: `yue-zhou1/cairo-auditor` (Agent Skill)
- Install (CLI): `npx skillmds@latest add yue-zhou1/cairo-auditor`
- Raw SKILL.md: https://api.skillmd.com/api/skills/yue-zhou1/cairo-auditor/raw
- Safety review: pending
- Works with: Claude Code, Claude.ai, OpenAI Codex
- Category: Security
- Author: Yue-Zhou1 (https://skillmd.com/u/yue-zhou1)
- Updated: 2026-09-17
- Page: https://skillmd.com/skills/yue-zhou1/cairo-auditor

---


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.