cosmos-vulnerability-scanner — скилл для Claude Code: аудит Cosmos SDK
Ищет в модулях Cosmos SDK и контрактах CosmWasm уязвимости, из-за которых цепь останавливается или теряются средства. Пригодится перед запуском сети.
npx skills add trailofbits/skills --skill cosmos-vulnerability-scanner -a claude-codeЧто делает cosmos-vulnerability-scanner
Скилл запускает несколько параллельных агентов, каждый со своим набором шаблонов уязвимостей, и собирает находки в markdown-файлы в каталоге .bughunt_cosmos/. Если в промпте указать другой каталог, результаты пойдут туда.
Сначала идёт разведка: отдельный субагент изучает кодовую базу и возвращает версии из go.mod, список модулей x/*, признаки IBC и платформы. По этим данным главный скилл пишет CLAUDE.md в корень репозитория и решает, каких сканеров звать. Три агента запускаются всегда — ядро, состояние, продвинутые шаблоны; сканеры EVM, IBC и CosmWasm подключаются, только если разведка нашла соответствующую платформу.
Шаблоны привязаны к версиям SDK, и это не формальность: в v0.47 убрали GetSigners, в v0.50 появился ABCI 2.0, в v0.53 объявили устаревшим ValidateBasic. Прогонять шаблоны по коду без сверки с go.mod бессмысленно. Скилл покрывает модули SDK, а не сам движок консенсуса CometBFT, и не заменяет инструменты для чистого Solidity.
Какие задачи решает
- найти недетерминизм, из-за которого валидаторы посчитают разные корни состояния
- проверить обработчики
msg_serverиAnteHandlerна дыры в правах - оценить интеграцию IBC до того, как канал откроют
- разобраться, почему цепь встала, и найти виновный участок кода
- отсеять ложные срабатывания в CLI и запросах, которые консенсуса не касаются
Примеры запросов агенту
- Просканируй модуль
x/stakingна уязвимости консенсусного пути, результаты сложи в.bughunt_cosmos/ - Проверь наши IBC-интеграции и напиши находки отдельными файлами в
audit/ - Сделай предзапусковый аудит безопасности цепи: сначала разведка, потом параллельные сканеры
Как установить cosmos-vulnerability-scanner
1Через Skills CLI (Vercel)
npx skills add trailofbits/skills --skill cosmos-vulnerability-scanner -a claude-code2Вручную: положить файлы
~/.claude/skills/cosmos-vulnerability-scanner/SKILL.mdПапка скилла целиком; для одного проекта — .claude/skills/cosmos-vulnerability-scanner/
1Через Skills CLI (Vercel)
npx skills add trailofbits/skills --skill cosmos-vulnerability-scanner -a codex2Вручную: положить файлы
.agents/skills/cosmos-vulnerability-scanner/SKILL.mdДля всех проектов — ~/.agents/skills/
1Через Skills CLI (Vercel)
npx skills add trailofbits/skills --skill cosmos-vulnerability-scanner -a cursor2Вручную: положить файлы
.cursor/skills/cosmos-vulnerability-scanner/SKILL.mdCursor читает и .agents/skills/, и .claude/skills/
1GitHub CLI
gh skill install trailofbits/skills cosmos-vulnerability-scanner2Вручную: положить файлы
.github/skills/cosmos-vulnerability-scanner/SKILL.md1Через Skills CLI (Vercel)
npx skills add trailofbits/skills --skill cosmos-vulnerability-scanner -a gemini-cli2Командой платформы
gemini skills install https://github.com/trailofbits/skills --path plugins/building-secure-contracts/skills/cosmos-vulnerability-scannerВручную: положить файлы
.devin/skills/cosmos-vulnerability-scanner/SKILL.mdСтарый путь .windsurf/skills/ тоже читается
Через Skills CLI (Vercel)
npx skills add trailofbits/skills --skill cosmos-vulnerability-scanner -a opencodeClaude.ai
Упакуйте папку в zip и загрузите в Settings → Capabilities → Skills
По шагам, с командами для каждой платформы: Как установить скилл в Claude Code: пять способов
Вопросы о cosmos-vulnerability-scanner
Как установить cosmos-vulnerability-scanner в Claude Code?
Выполните npx skills add trailofbits/skills --skill cosmos-vulnerability-scanner -a claude-code. Скилл окажется в ~/.claude/skills/cosmos-vulnerability-scanner/SKILL.md.
Что делает cosmos-vulnerability-scanner?
Сканирует модули Cosmos SDK и контракты CosmWasm на уязвимости, которые ведут к остановке цепи, расхождению состояния или потере средств. Находки сохраняются отдельными markdown-файлами.
Какие версии Cosmos SDK поддерживаются?
Шаблоны обновлены под SDK v0.53.x, а перед прогоном скилл сверяет версии в go.mod. Различия между v0.47, v0.50 и v0.53 учитываются при выборе проверок.
