cairo-vulnerability-scanner

github:trailofbits/skills · first committed 2026-01-26 · source · badge

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.

Skill Health 100 (freshness and quality) estimated by backskills

Listed, not yet scored. This skill has no public model test yet. It is in the scoring queue; submitted skills go first, then the most-installed.

Freshness 100 · Quality 100 · Efficacy not yet tested

Version history

5 commits to this file on GitHub (newest first).

2026-08-31 · commit 6feac67 · building-secure-contracts: require a per-pattern coverage table in the five flat scanners (#287)

2026-08-20 · commit 7be90d6 · Close unterminated fences in cairo, algorand, and ton scanner skills (#268)

2026-08-19 · commit 9e06dc6 · Make every documented command runnable under our own python shims (#258)

2026-01-29 · commit 650f6e3 · Fix copy quality issues across skill descriptions (#53)

2026-01-26 · commit 7af5b1b · Flatten building-secure-contracts skill directory structure (#34)

Archived snapshots

archived 2026-10-31T09:01:01+00:00 · sha256 2d843b87efa0