algorand-vulnerability-scanner — скилл для Claude Code: аудит
Ищет 11 типовых уязвимостей в контрактах Algorand на TEAL и PyTeal: rekeying, непроверенные комиссии, доступы. Пригодится перед аудитом проекта.
npx skills add trailofbits/skills --skill algorand-vulnerability-scanner -a claude-codeЧто делает algorand-vulnerability-scanner
Скилл проходит по кодовой базе и находит файлы .teal и .py с импортами PyTeal или algosdk. Дальше каждый файл проверяется по 11 шаблонам уязвимостей из базы Trail of Bits: атака через rekeying, непроверенная комиссия транзакции, CloseRemainderTo и AssetCloseTo, отсутствие проверки Global.group_size(), replay по времени, незащищённые update и delete, непроверенный Asset ID, зависшие переводы на неоптированные аккаунты, комиссия внутренней транзакции и clear state. Отчёт идёт с таблицей покрытия: по каждой из 11 строк стоит вердикт, даже если ничего не нашлось, и ссылка на file:line для найденного.
Если установлен Tealer, скилл запускает и его: tealer contract.teal --detect all либо отдельные детекторы вроде unprotected-rekey,group-size-check,update-application-check. Без Tealer ручной проход всё равно выполняется, но автоматическая проверка отпадает. Ставится Tealer через uv tool install tealer, и каталог с бинарниками uv должен быть в PATH, иначе команда не найдётся.
Разбор идёт по шагам: определить тип контракта (stateful application или smart signature), найти approval и clear state программы, собрать матрицу проверок по каждому типу транзакции, разобрать атомарные группы и доступы. Скилл рассчитан на Algorand, для других блокчейнов шаблоны не подойдут.
Какие задачи решает
- найти непроверенный
RekeyToв платёжной ветке контракта - проверить, что комиссия валидируется в smart signature
- закрыть слив средств через
CloseRemainderToиAssetCloseTo - убедиться, что update и delete защищены проверкой прав
- проверить
Global.group_size()в атомарной группе
Примеры запросов агенту
- Просканируй контракты Algorand в проекте на уязвимости и покажи таблицу покрытия по всем 11 шаблонам
- Проверь
approval_program.pyна rekeying и незащищённые update-вызовы - Прогони Tealer по
contract.tealсо всеми детекторами и разбери находки
Как установить algorand-vulnerability-scanner
1Через Skills CLI (Vercel)
npx skills add trailofbits/skills --skill algorand-vulnerability-scanner -a claude-code2Вручную: положить файлы
~/.claude/skills/algorand-vulnerability-scanner/SKILL.mdПапка скилла целиком; для одного проекта — .claude/skills/algorand-vulnerability-scanner/
1Через Skills CLI (Vercel)
npx skills add trailofbits/skills --skill algorand-vulnerability-scanner -a codex2Вручную: положить файлы
.agents/skills/algorand-vulnerability-scanner/SKILL.mdДля всех проектов — ~/.agents/skills/
1Через Skills CLI (Vercel)
npx skills add trailofbits/skills --skill algorand-vulnerability-scanner -a cursor2Вручную: положить файлы
.cursor/skills/algorand-vulnerability-scanner/SKILL.mdCursor читает и .agents/skills/, и .claude/skills/
1GitHub CLI
gh skill install trailofbits/skills algorand-vulnerability-scanner2Вручную: положить файлы
.github/skills/algorand-vulnerability-scanner/SKILL.md1Через Skills CLI (Vercel)
npx skills add trailofbits/skills --skill algorand-vulnerability-scanner -a gemini-cli2Командой платформы
gemini skills install https://github.com/trailofbits/skills --path plugins/building-secure-contracts/skills/algorand-vulnerability-scannerВручную: положить файлы
.devin/skills/algorand-vulnerability-scanner/SKILL.mdСтарый путь .windsurf/skills/ тоже читается
Через Skills CLI (Vercel)
npx skills add trailofbits/skills --skill algorand-vulnerability-scanner -a opencodeClaude.ai
Упакуйте папку в zip и загрузите в Settings → Capabilities → Skills
По шагам, с командами для каждой платформы: Как установить скилл в Claude Code: пять способов
Вопросы о algorand-vulnerability-scanner
Как установить algorand-vulnerability-scanner в Claude Code?
Выполните npx skills add trailofbits/skills --skill algorand-vulnerability-scanner -a claude-code. Скилл появится в ~/.claude/skills/algorand-vulnerability-scanner/SKILL.md.
Что делает algorand-vulnerability-scanner?
Сканирует контракты Algorand на TEAL и PyTeal по 11 шаблонам уязвимостей и выдаёт отчёт с таблицей покрытия, ссылками на строки и предложенными исправлениями.
Нужен ли Tealer для работы скилла?
Нет, ручной проход по шаблонам идёт и без него. Tealer добавляет автоматическую проверку; ставится через uv tool install tealer, и его каталог бинарников должен быть в PATH.
