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. Trigger phrases: "scans cairo/starknet smart contracts for 6 critical vulnerabilities including felt252 arithmetic overflow, l1-l2 messaging issues, address conversion problems, and signature replay".