Skill Store 33

Cairo Vulnerability Scanner

Scans Cairo/StarkNet smart contracts for 6 critical vulnerabilities including felt252 arithmetic…

by trailofbits

The skill

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.

This skill's licence does not allow redistribution, so the store does not show its text. Read it at the source.

Use this skill

Connect your agent to the Skill Store MCP server and ask for it by ref: trailofbits/cairo-vulnerability-scanner-37356069022.

Markdown version

Details

Publisher
trailofbits
Category
Security › Application security
Updated
2026-10-16

References

More from trailofbits

Related skills

  • Algorand Vulnerability Scanner Scans Algorand smart contracts for 11 common vulnerabilities including rekeying attacks, unchecke…
  • Scv Scan Audits Solidity codebases for smart contract vulnerabilities using a four-phase workflow (cheatsh…
  • Solana Vulnerability Scanner Scans Solana programs for 6 critical vulnerabilities including arbitrary CPI, improper PDA valida…
  • Upgrade Cairo Contracts Upgrade Cairo smart contracts using OpenZeppelin's UpgradeableComponent on Starknet.
  • Setup Cairo Contracts Set up a Cairo smart contract project with OpenZeppelin Contracts for Cairo on Starknet.