AD smart-contract-audit
Аудирует и анализирует смарт-контракты Solidity на предмет уязвимостей безопасности. Используйте при проверке, аудите или анализе смарт-контрактов, кода Solidity, DeFi-протоколов или безопасности блокчейна. Запускает статический анализ Slither и Aderyn, определяет тип протокола, создает специализированных агентов для глубокого обзора, запускает агента-триагера/скептика для проверки результатов, генерирует Foundry PoC и объединяет все в отчет с оценкой серьезности, классификацией SWC и анализом экономической целесообразности.
машинный переводПоказать оригиналСкрыть оригинал«Audit and analyze Solidity smart contracts for security vulnerabilitie…»
Audit and analyze Solidity smart contracts for security vulnerabilities. Use when reviewing, auditing, or analyzing smart contracts, Solidity code, DeFi protocols, or blockchain security. Runs Slither and Aderyn static analysis, detects protocol type, spawns specialist agents for deep review, runs a triager/skeptic agent to validate findings, generates Foundry PoCs, and consolidates everything into a severity-rated report with SWC classifications and economic feasibility analysis.
Аудирует и анализирует смарт-контракты Solidity на предмет уязвимостей безопасности.
Как процесс D 49/100 · Процесс не доведён — слабые места: результат и критерий готовности, когда включается, входы и предусловия
Как улучшить
- Тело SKILL.md длиннее 5 000 токенов: вынесите справочные детали в references/ и подключайте по необходимости.
- Свои кейсы (evals/evals.json, 4–6 реальных запросов с ожидаемыми ответами): тогда полная проверка прогонит именно их, а не черновик от модели.
- spec.yaml с триггерными фразами и утверждениями — контракт поведения для CI; `skilltest init` создаст шаблон.
Находки guard · 4
✓ Критических и высоких находок нет
Средние и низкие: 4
-
низкая Опасные команды
cmd-pipe-to-shellscripts/install-tools.sh:29Скачивание и запуск удалённого кода с неизвестного хоста (pipe в shell) (определение детектора / чёрного списка; строковый литерал в коде, не выполняется)echo "⚠️ Forge not found. Install via: curl -L https://foundry.paradigm.xyz | bash && foundryup"
детекторстрока в коде -
низкая Опасные команды
cmd-pipe-to-shellscripts/install-tools.sh:60Скачивание и запуск удалённого кода с неизвестного хоста (pipe в shell) (определение детектора / чёрного списка; строковый литерал в коде, не выполняется)echo " curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh -s -- -y"
детекторстрока в коде -
низкая Рискованное назначение
intent-offensive-securitySKILL.md:204Наступательная безопасность / двойное назначение (допустимо для авторизованного тестирования; проверьте назначение)- Privilege escalation paths
-
низкая Рискованное назначение
intent-offensive-securitySKILL.md:208Наступательная безопасность / двойное назначение (допустимо для авторизованного тестирования; проверьте назначение)- Check for privilege escalation chains — can a lower-privilege role gain higher privileges through a sequence of calls?
Просканировано файлов: 15. Улики замаскированы. Пометки в серых чипах объясняют, почему серьёзность понижена.
По спецификации Agent Skills
- предупреждение
body-longтело SKILL.md ≈ 6495 токенов (рекомендуется < 5000); вынесите детали в references/
Процессный рейтинг: все десять параметров 49/100
- 0Результат и критерий готовности. Не сказано, что считать результатом
- 0Входы и предусловия. Не сказано, что нужно иметь на входе
- 0Отчётность по ходу. Скилл ничего не сообщает по ходу работы
- 20Когда включается. Не сказано, при каком запросе скилл включается
- 60Инструменты и файлы. Используются инструменты (bash, git), но во frontmatter они не объявлены
- 70Ошибки и развилки. Развилок: 8
- 70Стоимость исполнения. Тело инструкции 6495 токенов
- 85Шаги. Шагов: 72, расплывчатых формулировок: 1
- 100Согласованность. Имя и обязательные поля на месте
- 100Повторный запуск. Изменяющие операции проверяют текущее состояние
- medium Правила безопасности и запреты внутри скилла: их место в системном промпте, здесь они не защищают
Всё перечисленное измерено по тексту скилла, а не оценено моделью: цифры проверяемы. Вес параметра тем больше, чем чаще из-за него процесс встаёт.
Сигналы качества
- +5В description нет примеров фраз, по которым скилл должен срабатывать
- +4Описание не говорит, когда скилл НЕ применять (ложные срабатывания)
- +3Формат ответа не описан: модель каждый раз решает сама
- +1Лицензия не указана
- +2Инструкции на одном языке
- +3Длина description 485 символов: достаточно сигнала, не съедает бюджет
- +4Структура: 27 заголовков
- +3Пошаговые инструкции: 72 пунктов
- +4Есть примеры (12 блоков кода)
- +4Справочные файлы упоминаются в инструкциях (9 из 11)
- +3Все 3 скриптов описаны в инструкциях
База качества 70; замечания lint вычитаются, сигналы прибавляют до 100. Итог: 81.