Cairo Vulnerability Scanner

by trailofbits82fe82262526No license7.4K starsListed Oct 8, 2026Updated Oct 8, 2026Repository updated yesterday

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.

Instructions onlySecurity

Only the file list is public. File contents are available once the skill is installed in a workspace.

PathSizeType
agents/openai.yaml259 Bapplication/yaml
assets/trail-of-bits-mark.svg3 KBtext/plain
resources/VULNERABILITY_PATTERNS.md20.8 KBtext/markdown
SKILL.md12.8 KBtext/markdown

Source and attribution

Source:trailofbits/skillsinplugins/building-secure-contracts/skills/cairo-vulnerability-scannerat commit82fe822

License: No license

Content belongs to its original authors. SourceWeft indexes it from a public repository.

Report or request removal