К основному содержанию
affpapa.org
RU EN
скилл Claude Code CX Codex Cursor GitHub Copilot

secure-workflow-guide — скилл для Claude Code: обзор и установка

Проводит смарт-контракты через пятиэтапный аудит безопасности от Trail of Bits перед деплоем или при коммитах. Запускает статический анализ, строит диаграммы и настраивает фаззинг.

Установить в Claude Code · Через Skills CLI (Vercel) Все способы и платформы ↓ 
npx skills add trailofbits/skills --skill secure-workflow-guide -a claude-code
Открыть на GitHub

Что делает secure-workflow-guide

Агент проводит проект через методику аудита смарт-контрактов из пяти шагов. На первом этапе вызывается Slither: инструмент применяет свыше 70 встроенных детекторов и распределяет предупреждения по уровню опасности с рекомендациями по исправлению. Дальше скилл запускает специализированные модули под найденный стек. Среди них проверка на 17 рисков обновления через slither-check-upgradeability и сверка с 6 спецификациями через slither-check-erc.

Третьим шагом утилита формирует три визуальные схемы с помощью ключей печати Slither. Граф наследования вскрывает ошибки линеаризации C3. Таблицы функций и переменных показывают видимость методов и права на запись в состояние. Без установленного Slither процесс теряет смысл: ручной просмотр гарантированно пропускает шаблонные баги из базы детекторов.

На финальных стадиях скилл помогает описать инварианты для фаззинга в Echidna и символьного выполнения в Manticore. Ручной разбор концентрируется на том, что сканеры не видят: манипуляции ценовыми оракулами, фронтраннинг, проскальзывание и скрытые атаки через флеш-кредиты.

Какие задачи решает

  • найти уязвимости в смарт-контрактах с помощью базы детекторов Slither
  • проверить соответствие контрактов шести стандартам ERC
  • сгенерировать схемы наследования и карту записи в переменные состояния
  • составить инварианты для фаззинга в Echidna и символьного анализа в Manticore
  • проверить код на риски манипуляций оракулами и атак через флеш-кредиты

Примеры запросов агенту

  • Проведи аудит репозитория по 5-этапному процессу безопасности Trail of Bits
  • Запусти анализ контрактов через Slither и распредели уязвимости по степени важности
  • Сгенерируй диаграммы наследования и проверь проект на риски обновляемости

Как установить secure-workflow-guide

1Через Skills CLI (Vercel)

npx skills add trailofbits/skills --skill secure-workflow-guide -a claude-code

2Вручную: положить файлы

~/.claude/skills/secure-workflow-guide/SKILL.md

Папка скилла целиком; для одного проекта — .claude/skills/secure-workflow-guide/

Из того же набора35

Весь набор →
semgrep trailofbits Находит уязвимости в кодовой базе с помощью Semgrep. Скилл согласует план проверок и собирает результаты в единый отчёт SARIF. Claude Code CX Codex Cursor +1 9 500установок differential-review trailofbits Проверяет изменения кода с упором на безопасность, историю Git и покрытие тестами. Нужен для разбора коммитов, различий и пул-реквестов с отчётом. Claude Code CX Codex Cursor +1 8 800установок modern-python trailofbits Настраивает Python-проекты под современный стек инструментов: uv для зависимостей, ruff для линтинга и форматирования, ty для проверки типов. Пригодится при создании новых проектов, написании скриптов и миграции со старых инструментов. Claude Code CX Codex Cursor +1 8 700установок sharp-edges trailofbits Проверяет архитектуру API и схемы конфигураций на скрытые уязвимости интерфейса. Помогает убрать опасные параметры по умолчанию и предотвратить ошибки разработчиков. Claude Code CX Codex Cursor +1 6 900установок agentic-actions-auditor trailofbits Проверяет рабочие процессы GitHub Actions с интеграцией ИИ-агентов на уязвимости и инъекции промптов. Помогает найти утечки контекста через переменные окружения и опасные триггеры. Claude Code CX Codex Cursor +1 6 700установок gh-cli trailofbits Скилл заставляет ИИ использовать аутентифицированный gh CLI вместо curl и fetch при работе с репозиториями, PR и issues GitHub. Нужен для приватных репо и выше лимитов API. Claude Code CX Codex Cursor +1 6 600установок variant-analysis trailofbits Ищет в репозитории другие проявления уже найденной ошибки. Нужен после уязвимости или логического дефекта, когда требуется проверить похожий код. Claude Code CX Codex Cursor +1 6 400установок sarif-parsing trailofbits Разбирает готовые отчёты SARIF от CodeQL, Semgrep и других сканеров. Пригодится для фильтрации находок, удаления дублей и подготовки данных для CI/CD. Claude Code CX Codex Cursor +1 5 900установок

Похожие

code-review agno-team Автоматическая проверка кода на стиль, ошибки и нарушения best practices. Скилл запускает линтер, ищет баги и уязвимости, даёт структурированный feedback с уровнями критичности. Claude Code CX Codex Cursor +1 472установок pr-workflow tursodatabase Задаёт правила подготовки коммитов и пулл-реквестов: требует атомарности, чистки секретов и обновления лицензий. Пригодится при командной разработке и запусках в CI. Claude Code CX Codex Cursor +1 1 200установок better-auth-security-best-practices better-auth Настраивает защиту Better Auth: ограничивает частоту запросов, проверяет происхождение, шифрует токены и защищает пользовательские сессии. Claude Code CX Codex Cursor +1 47 700установок threat-model-analyst официальный github Проводит STRIDE-A-анализ репозитория или системы и готовит модель угроз. При повторном запуске сравнивает изменения с прошлым отчётом. GitHub Copilot 1 500установок agent-owasp-compliance официальный github Проверяет кодовую базу AI-агента по 10 рискам OWASP ASI. Подойдёт для аудита перед production и подготовки отчёта по безопасности. GitHub Copilot 1 500установок verified-agent-identity BillionsNetwork Скилл даёт агенту Ethereum-DID в сети Billions и учит проходить 402 Payment Required. Пригодится, когда нужно доказать, кто владелец агента, или оплатить доступ к API по x402. Claude Code CX Codex Cursor +1 8 200установок git-guardrails-claude-code Matt Pocock Скилл ставит хук Claude Code, который останавливает опасные Git-команды до их запуска. Нужен, если агент не должен делать push или удалять изменения. Claude Code 499 069установок ponytail-review DietrichGebert Скилл проверяет изменения глубже обычного diff: читает связанный код, ищет ошибки, риски, проблемы нагрузки и недостающие тесты. Пригодится для ревью PR и коммитов. Claude Code CX Codex Cursor +1 56 300установок

Вопросы о secure-workflow-guide

Как установить secure-workflow-guide в Claude Code?

Выполните в терминале команду npx skills add trailofbits/skills --skill secure-workflow-guide -a claude-code.

Что делает скилл secure-workflow-guide?

Он пошагово выполняет аудит смарт-контрактов: ищет уязвимости с помощью Slither, проверяет стандарты ERC, строит диаграммы наследования и помогает составить инварианты для тестов.

Какие инструменты тестирования настраивает скилл на шаге свойств?

Скилл готовит спецификации для фаззинга в Echidna, символьного выполнения в Manticore и написания специализированных проверок логики в Slither.

Смотрите также

Спонсоры проекта

Компании, которые помогают держать аналитику открытой
Золотой спонсор AI-аналитика спроса на iGaming — индекс, тренды, конкуренты
Nutra.Club Закрытое сообщество Nutra-вертикали от команды M1

Показы, клики и копирования кода — открытая статистика. Мы держим цифры публичными по той же логике, что и сам NeBlask. Стать спонсором