trailofbits-cairo-vulnerability-scanner
Trail of Bits skill scanning Cairo/StarkNet contracts for 6 critical vulnerabilities.
🛡️ AgentReady threat assessment
MAESTRO 7-layer threat model + OWASP AIVSS risk score for trailofbits-cairo-vulnerability-scanner, derived from its capabilities.
These scores are auto-generated from public information (the agent's own listing, docs, and repository) using the canonical OWASP AIVSS formula and the MAESTRO framework — an estimate for guidance, not a penetration test, audit, or certification. See the scoring methodology — every score is re-derived by the same automated method as an agent's public evidence changes.
Overview
Security skill that scans Cairo/StarkNet smart contracts for felt252 arithmetic overflow, L1-L2 messaging issues, address-conversion problems, and signature replay. Analyzes Cairo source; part of building-secure-contracts.
Key features and capabilities
- Cairo/StarkNet vulnerability scan
- felt252 overflow detection
- L1-L2 messaging and replay checks
Use cases
- Auditing StarkNet contracts
- Cairo security review