Verified record · from the answer index
cairo-vulnerability-scanner
skilltested · static-verifiedscore 64/100signed passport ✓5,017 uses
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.
Declared tools (1)
cairo-vulnerability-scanner
skill:trailofbits/skills/cairo-vulnerability-scanner · published by trailofbits · source repository