Сканер уязвимостей Cairo
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.
AItrailofbits
official
Дизайн
Что делает навык
Сканирует смарт-контракты Cairo/StarkNet на предмет 6 критических уязвимостей, включая переполнение арифметики felt252, проблемы сообщений L1-L2, проблемы преобразования адресов и повторное использование подписи (signature replay). Используется при аудите проектов StarkNet.
Как подключить
1Скачать навык
# возьмите папку навыка «cairo-vulnerability-scanner» из репозитория:
# https://github.com/trailofbits/skills
2Положить папку с
SKILL.md к навыкам ассистента# положите папку навыка туда, где ассистент ищет skills:
cp -r cairo-vulnerability-scanner/ ~/.claude/skills/cairo-vulnerability-scanner/
Навык — папка с файлом SKILL.md (описание + инструкции) и опциональными скриптами. Ассистент (Claude, Claude Code и совместимые) подхватывает его по описанию и следует шагам.