Инструменты для агентов

HackenProof Triage Skill

Навыки агентов

Безопасность · Тестирование

Навык сортировки многократного использования для обработки отчетов о поиске ошибок (bug bounty) HackenProof. Проверяет область действия коммита/версии, область действия отправки, проверяет дубликаты и валидирует отправки для определения состояния, серьезности и комментариев. Для Codex и Claude.

Связанные ресурсы

Pashov Audit Group Skills

Навыки Claude Code для безопасности и разработки на Solidity. solidity-auditor обеспечивает быструю (обычно менее 5 минут) обратную связь по безопасности изменений в Solidity во время разработки. Работает с Claude Code CLI, расширением Claude для VSCode и Cursor.

Trail of Bits Skills Marketplace

Маркетплейс плагинов Claude Code от Trail of Bits, предоставляющий навыки для улучшения рабочих процессов анализа безопасности, тестирования и разработки с помощью ИИ.

OpenZeppelin Skills

Навыки агента для безопасной разработки смарт-контрактов с библиотеками ОпенЗеппелин Contracts, включая рабочие процессы настройки и обновления для Solidity и других экосистем.

Cyfrin solskill

Плагин для Claude со стандартами разработки на Solidity для кода производственного уровня. Более тщательный подход к тестированию, качеству кода и чувствительности смарт-контрактов. Устанавливается через маркетплейс Cyfrin. От Патрика Коллинза и команды Cyfrin.

SCV Scan

Навык Claude Code, который сканирует кодовые базы на Solidity на наличие уязвимостей безопасности, используя 36 уникальных типов уязвимостей. Четырехэтапный аудит: загрузка шпаргалки, синтаксическая и семантическая проверка кодовой базы, глубокая проверка с использованием эталонных файлов и отчет. Ссылки из smart-contract-vulnerabilities.

QuillShield Security Skills

Навыки ИИ-агента для аудита безопасности смарт-контрактов. Десять плагинов, охватывающих повторный вход, оракулы/флеш-кредиты, прокси/обновления, инварианты состояния, семантические защиты и многое другое. Методология QuillShield для уязвимостей, которые пропускает традиционный статический анализ. Работает с Claude и Cursor.