cairo-vulnerability-scanner
Pass
Audited by Gen Agent Trust Hub on Jul 15, 2026
Risk Level: SAFE
Full Analysis
- [SAFE]: The skill provides comprehensive and accurate patterns for auditing Cairo smart contracts, focusing on critical platform-specific issues like arithmetic safety and L1-L2 messaging security.
- [EXTERNAL_DOWNLOADS]: Recommends installing the
caracalstatic analyzer viapip. Caracal is a well-known open-source security tool maintained by Crytic/Trail of Bits. - [COMMAND_EXECUTION]: Instructs the use of shell commands such as
rgandcaracalto analyze local contract source code for security flaws. these commands are appropriate for the skill's purpose. - [SAFE]: External links point to official StarkNet and Cairo documentation or reputable security research repositories from OpenZeppelin and Trail of Bits.
Audit Metadata