cairo-vulnerability-scanner
No security findings. Scanned 2 times, most recently 2026-02-06.
Second scanner: NVIDIA SkillSpector
Independent static run, no language model, over the same files as the Cisco scan above. How the two scanners compare across the whole corpus: Two scanners, one corpus.
What this skill does
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.
- Package
- 2 files, 30 KB
- SKILL.md
- 1209 words, 12+ sections
- Code
- None. Instructions only.
SKILL.md covers: Cairo/StarkNet Vulnerability Scanner · 1. Purpose · 2. When to Use This Skill · 3. Platform Detection · File Extensions & Indicators · Language/Framework Markers · Project Structure · Tool Support · 4. How This Skill Works · 5. Example Output · 5. Vulnerability Patterns (6 Patterns) · Pattern Summary:
Findings
No findings. SAFE
What is in the package
| File | Kind | Size |
|---|---|---|
SKILL.md | doc | 9.5 KB |
resources/VULNERABILITY_PATTERNS.md | doc | 21 KB |
External hosts referenced
github.com book.cairo-lang.org docs.starknet.io
Hostnames that appear in the skill's files. Referencing a host is not a finding; compare against the findings above and the skill's stated purpose.
Package contents recorded 2026-10-22 at commit a50696e20581. The scan above ran against the version current at scan time; the two can differ if the skill has since been updated.
What we checked
- Static analyzer. Pattern rules over SKILL.md and bundled files: known-bad commands, exfiltration URLs, secrets, obfuscation.
- Behavioral analyzer. Checks what the skill asks the agent to do against what its description claims it does.
- Llm analyzer. A language model reads the skill and reports intent-level issues the rules cannot express.
- Trigger analyzer. Looks for instructions that fire on conditions the user did not ask for.
- Meta analyzer. A second model pass that validates, deduplicates and re-scores the other analyzers' findings.
What we did not check
- Runtime behaviour. The skill was not executed; findings come from reading its files.
- Anything fetched at install or run time, including remote scripts, package dependencies, and URLs the skill tells the agent to open.
- Content the analyzers cannot read: images, binaries, and some non-English text.
- Known scanner bypass classes. See the methodology and limitations page.
Scan history
| Date | Verdict | Findings | Change | Analyzers | Raw |
|---|---|---|---|---|---|
| SAFE | 0 | -1 | static behavioral llm trigger meta | JSON | |
| SAFE | 1 | first scan | static behavioral llm trigger meta | JSON |
Sources
- Repository: https://github.com/trailofbits/skills
- Raw scan result: plugins-building-secure-contracts-skills-cairo-vulnerabilityner-scan.json
- Badge for your README:
- Request a re-scan