OpenAgentSkill Registry Manifest
Skill: cairo-vulnerability-scanner
Slug: trailofbits-cairo-vulnerability-scanner
Category: security
Description: 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.

Agent fit:
- Decision: 96/100 Production-ready
- Primary fit: GitHub automation
- Role: Primary pick

Supply profile:
- Track: Coding and developer agents
- Scenario: GitHub automation
- Applicable agents: Claude Code, CLI, Codex, Cursor
- Maintenance: Pushed today
- Risk: Risky

Trust:
- Trust score: 77/100 Strong shortlist
- Audit: 84/100 Risky

Attribution:
- Status: Registry indexed
- Source: recursive skill source sync
- Creator: trailofbits
- Claim URL: https://www.openagentskill.com/skills/trailofbits-cairo-vulnerability-scanner#claim-this-skill

Install:
npx skills add trailofbits/skills --skill cairo-vulnerability-scanner

URLs:
- Web: https://www.openagentskill.com/skills/trailofbits-cairo-vulnerability-scanner
- API: https://www.openagentskill.com/api/agent/skills/trailofbits-cairo-vulnerability-scanner
- Install API: https://www.openagentskill.com/api/skills/trailofbits-cairo-vulnerability-scanner/install
- Repository: https://github.com/trailofbits/skills/tree/main/plugins/building-secure-contracts/skills/cairo-vulnerability-scanner