cairo-vulnerability-scanner
trailofbits/skills/plugins/building-secure-contracts/skills/cairo-vulnerability-scanner
PlatformClaude CodeOpenAI Codex
Scans Cairo/StarkNet smart contracts for 6 critical vulnerabilities including felt252 arithmetic overflow, L1-L2 messaging issues, address conversion problems, and signature replay. Use when auditing StarkNet projects.
Claude CodeOpenAI Codex