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

SCV Scan

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

Безопасность · Solidity · Статический анализ

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

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

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.

QuillShield Security Skills

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

sc-auditor

Аудитор безопасности смарт-контрактов для Claude Code и Codex CLI. Интегрирует Слизер, Aderyn, контрольный список Cyfrin и результаты Solodit. Методология Map-Hunt-Attack с четырьмя инструментами MCP для статического анализа и поиска результатов.