BC solidity-audit
Ассистент аудита безопасности смарт-контрактов Solidity в соответствии со спецификацией EEA EthTrust V3. Выполняет структурированный рабочий процесс аудита: сканирование уязвимостей, анализ безопасности, отчеты об аудите. Обнаруживает повторные входы, целочисленное переполнение, проблемы контроля доступа и многое другое. Поддерживает статический анализ Slither/Aderyn и тестирование Foundry. Триггеры: аудит смарт-контрактов, аудит Solidity, обзор безопасности, оценка уязвимостей.
машинный переводПоказать оригиналСкрыть оригинал«Solidity smart contract security audit assistant following EEA EthTrus…»
Solidity smart contract security audit assistant following EEA EthTrust V3 specification. Performs structured audit workflow: vulnerability scanning, security analysis, audit reports. Detects reentrancy, integer overflow, access control issues, and more. Supports Slither/Aderyn static analysis and Foundry testing. Triggers: smart contract audit, solidity audit, security review, vulnerability assessment.
Ассистент аудита безопасности смарт-контрактов Solidity в соответствии со спецификацией EEA EthTrust V3.
Как процесс C 63/100 · Есть пробелы — слабые места: результат и критерий готовности, ошибки и развилки, отчётность по ходу
Чем это грозит
Находки средней серьёзности: скорее всего скилл честный, но прочитайте, что именно насторожило сканер.
Ниже описан худший случай для этой категории. Здесь находка средней серьёзности: guard увидел признак, но не доказательство.
Скилл содержит команды, которые удаляют файлы, переписывают диски или исполняют код, скачанный из сети. Агент может выполнить их без вопроса, если считает, что так требует инструкция.
Замените разрушительные команды на безопасные аналоги с подтверждением, ограничьте область действия конкретной папкой и не тяните код через curl | bash: укажите версию и контрольную сумму.
Как улучшить
- Скажите в description, КОГДА применять скилл («используй, когда…», примеры запросов): это главный сигнал для агента.
- Тело SKILL.md длиннее 5 000 токенов: вынесите справочные детали в references/ и подключайте по необходимости.
- Свои кейсы (evals/evals.json, 4–6 реальных запросов с ожидаемыми ответами): тогда полная проверка прогонит именно их, а не черновик от модели.
- spec.yaml с триггерными фразами и утверждениями — контракт поведения для CI; `skilltest init` создаст шаблон.
Находки guard · 3
✓ Критических и высоких находок нет
Средние и низкие: 3
-
средняя Опасные команды
cmd-pipe-to-shellreferences/toolchain-guide.md:51Скачивание и запуск удалённого кода с неизвестного хоста (pipe в shell) (документация security-скилла)curl -L https://foundry.paradigm.xyz | bash
security-скилл -
средняя Опасные команды
cmd-pipe-to-shellSKILL.md:523Скачивание и запуск удалённого кода с неизвестного хоста (pipe в shell) (документация security-скилла)curl -L https://foundry.paradigm.xyz | bash
security-скилл -
низкая Опасные команды
cmd-pipe-to-shellreferences/testing-guide.md:11Скачивание и запуск удалённого кода с неизвестного хоста (pipe в shell) (тестовый файл / пример; документация security-скилла)curl -L https://foundry.paradigm.xyz | bash
тестовый файлsecurity-скилл
Просканировано файлов: 12. Улики замаскированы. Пометки в серых чипах объясняют, почему серьёзность понижена.
По спецификации Agent Skills
- предупреждение
description-no-whendescription не говорит, КОГДА применять скилл (нет "use when / используй когда") - предупреждение
body-longтело SKILL.md ≈ 6805 токенов (рекомендуется < 5000); вынесите детали в references/
Процессный рейтинг: все десять параметров 63/100
- 0Результат и критерий готовности. Не сказано, что считать результатом
- 0Ошибки и развилки. Линейный процесс без обработки сбоев
- 0Отчётность по ходу. Скилл ничего не сообщает по ходу работы
- 50Когда включается. Не сказано, при каком запросе скилл включается
- 70Входы и предусловия. Входные данные и предусловия перечислены
- 70Стоимость исполнения. Тело инструкции 6805 токенов
- 100Инструменты и файлы. Внешние инструменты не нужны
- 100Шаги. Шагов: 72
- 100Согласованность. Имя и обязательные поля на месте
- 100Повторный запуск. Изменяющие операции проверяют текущее состояние
- medium Правила безопасности и запреты внутри скилла: их место в системном промпте, здесь они не защищают
Всё перечисленное измерено по тексту скилла, а не оценено моделью: цифры проверяемы. Вес параметра тем больше, чем чаще из-за него процесс встаёт.
Сигналы качества
- +5В description нет примеров фраз, по которым скилл должен срабатывать
- +4Описание не говорит, когда скилл НЕ применять (ложные срабатывания)
- +3Формат ответа не описан: модель каждый раз решает сама
- -31 из 1 скриптов не упомянуты в SKILL.md
- +1Лицензия не указана
- +2Инструкции на одном языке
- +3Длина description 406 символов: достаточно сигнала, не съедает бюджет
- +4Структура: 71 заголовков
- +3Пошаговые инструкции: 72 пунктов
- +4Есть примеры (32 блоков кода)
- +4Справочные файлы упоминаются в инструкциях (5 из 7)
База качества 70; замечания lint вычитаются, сигналы прибавляют до 100. Итог: 63.