cairo-vulnerability-scanner
How to Install
Claude Code:
git clone --depth 1 https://github.com/trailofbits/skills.git && cp skills/skills/SKILL.md ~/.claude/skills/SKILL.mdCursor:
Copy the SKILL.md content into your .cursorrules fileScans 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
Details
| Category | Security → vulnerability |
| Source | https://github.com/trailofbits/skills/tree/main/plugins/building-secure-contracts/skills/cairo-vulnerability-scanner/SKILL.md |
| Stars | ★ 5.8K |
| Risk Level | Safe |
Related Skills
ton-vulnerability-scanner
Scans TON (The Open Network) smart contracts for 3 critical vulnerabilities including integer-as-boo
substrate-vulnerability-scanner
Scans Substrate/Polkadot pallets for 7 critical vulnerabilities including arithmetic overflow, panic
solana-vulnerability-scanner
Scans Solana programs for 6 critical vulnerabilities including arbitrary CPI, improper PDA validatio
algorand-vulnerability-scanner
Scans Algorand smart contracts for 11 common vulnerabilities including rekeying attacks, unchecked t