Agent skill · trailofbits
cairo-vulnerability-scanner
Scans Cairo/StarkNet smart contracts for 6 critical vulnerabilities including felt252 arithmetic overflow, L1-L2 messaging issues, address conversion probl
Reference it in any coding agent with:
@skills trailofbits/cairo-vulnerability-scanner