SkillProof tested Claude skills

Cairo Vulnerability Scanner

Scanner Cairo/StarkNet-kontrakter for felt252-overflow og messaging-sårbarheder.

Af trailofbits · trailofbits/skills

Virker med opsætning ★ 6.8/10

Cairo Vulnerability Scanner — Scanner Cairo/StarkNet-kontrakter for felt252-overflow og messaging-sårbarheder.

Hvad det gør

Scanner Cairo/StarkNet-smartkontrakter for 6 kritiske sårbarheder, herunder felt252-aritmetik-overflow, L1-L2-messaging-problemer, adressekonverteringsproblemer og signature replay. Brug det, når du auditerer StarkNet-projekter.

Testrapport

Ordret installation er ren, og den snævert afgrænsede Cairo/StarkNet-beskrivelse udløses præcist, men dokumentationen har en reel fejl: SKILL.md's eget resumé af '6 mønstre' (Storage Collision, Improper Felt252 Boundaries, Missing Caller Validation osv.) matcher ikke de 6 mønstre, der faktisk er dokumenteret i resources/VULNERABILITY_PATTERNS.md (Felt252 Arithmetic, L1-L2 Address Conversion, L1-L2 Message Failure, Overconstrained L1<->L2, Signature Replay, Unchecked L1 Handler), og filen indeholder en duplikeret '## 5.'-overskrift — et copy-paste-levn fra et søskendescanner-skill. I en A/B mod en bevidst sårbar kontrakt med 5 problemer fangede skillet alle 5 uden falske positiver, men basisarmen (uden skill) fangede uafhængigt de samme 5 plus designbemærkningen om felt252 vs. u256, så skillet viste ingen løft i fangstraten på denne kontrakt. Værdien, det tilfører, er en struktureret, StarkNet-specifik tjekliste og afhjælpningsreferencer snarere end flere detektioner.

Testet: 2026-07-12 · Claude Code 2.x (agent harness)

Installation

git clone https://github.com/trailofbits/skills
cd skills
mkdir -p ~/.claude/skills
cp -r plugins/building-secure-contracts/skills/cairo-vulnerability-scanner ~/.claude/skills/cairo-vulnerability-scanner

Kommandoer og eksempelprompter

  • /cairo-vulnerability-scannerScanner Cairo/StarkNet-kontrakter for felt252-overflow og messaging-sårbarheder.

Skills udløses af almindelige forespørgsler — ingen kommandoer at huske. Efter installationen aktiverer prompter som disse skillen (på engelsk):

  • Scan this Cairo contract for vulnerabilities
  • Audit our StarkNet contract for signature replay bugs
  • Check for L1-L2 messaging issues in this contract

Læs hele rapporten →