SKILLEMALL.ai
GitHub ↗ EN Войти

CD sc-audit

Глубокий аудит безопасности репозитория смарт-контрактов ИЛИ работающего контракта в блокчейне по адресу — обнаружение Solidity, моделирование инвариантов протокола и границ доверия, запуск Slither (по возможности), а также ограниченный проход агента, который ищет путь, нарушающий каждый инвариант, сортировка, проверка на уязвимость, доказательство с помощью фаззера и передача каждой находки через общий маршрут ответственного раскрытия. Выделенная ветка контрактов, отделенная от vuln-scanner.

машинный переводПоказать оригиналСкрыть оригинал«Deep security audit of a smart-contract repo OR a live on-chain contra…»

Deep security audit of a smart-contract repo OR a live on-chain contract by address - detect Solidity, model the protocol invariants and trust boundaries first, run Slither (best-effort) plus a bounded agentic pass that hunts for a path breaking each invariant, triage, adversarially verify, prove with a fuzzer, and drive each finding through the shared responsible-disclosure routing. The dedicated contract arm split out of vuln-scanner.

aeonfun/aeon Agent Skills автор: aeonfun 5 файлов тело ≈ 17 347 токенов Открыть источникgithub.com↗ проанализирован 52 мин назад

Глубокий аудит безопасности репозитория смарт-контрактов ИЛИ работающего контракта в блокчейне по адресу — обнаружение Solidity, моделирование инвариантов…

Как процесс D 41/100 · Процесс не доведён — Скилл ссылается на файлы, которых нет в архиве: scripts/notify_format.py

АнализаторGitHubРазработкатип и темы размечены автоматически по тексту скилла
Запускается в: Claude / Claude Code ChatGPT / Codex Gemini CLI Cursor GitHub Copilot / VS Code Qwen Code Kimi Code CLI Z.ai (GLM) DeepSeek (Deep Code) Mistral Vibe LangChain (deepagents) OpenClaw Goose OpenCode
JSON
Технический рейтинг
C
80/100
безопасность, качество, тесты
Безопасность 60%
97
Качество 40%
55
Прогон на моделях
не было
Процессный рейтинг
D
41/100
Процесс не доведён
Скилл ссылается на файлы, которых нет в архиве: scripts/notify_format.py
Инструменты и файлы вес 18
0
Результат и критерий готовности вес 14
0
Входы и предусловия вес 11
0
три самых слабых из десяти параметров · все десять

Как улучшить

  1. Скажите в description, КОГДА применять скилл («используй, когда…», примеры запросов): это главный сигнал для агента.
  2. Тело SKILL.md длиннее 5 000 токенов: вынесите справочные детали в references/ и подключайте по необходимости.
  3. В тексте есть ссылки на отсутствующие файлы: добавьте файлы или уберите ссылки.
Для прогона на моделях — необязательно
  • Свои кейсы (evals/evals.json, 4–6 реальных запросов с ожидаемыми ответами): тогда полная проверка прогонит именно их, а не черновик от модели.
  • spec.yaml с триггерными фразами и утверждениями — контракт поведения для CI; `skilltest init` создаст шаблон.

Находки guard · 3

✓ Критических и высоких находок нет

Средние и низкие: 3
  • низкая Утечка данных net-credential-use README.md:46
    Учётные данные используются в сетевом вызове (проверьте, что адрес — нужный сервис) (документация security-скилла)
    and use plain curl with $ETHERSCAN_API_KEY wherever the skill says ./secretcurl.
    security-скилл
  • низкая Рискованное назначение intent-offensive-security SKILL.md:528
    Наступательная безопасность / двойное назначение (допустимо для авторизованного тестирования; проверьте назначение) (в кавычках — упоминание, а не команда)
    - **§A5.0** - read the repo's `SECURITY.md` (and the org-level `{owner}/.github` fallback). The designated intake wins over PVR. Do not trust a README "bug bounty coming soon" line - search the five p
    в кавычках

Ещё 1 совпадений отнесены к цитатам в документации скилла по безопасности и не считаются находками.

Просканировано файлов: 5. Улики замаскированы. Пометки в серых чипах объясняют, почему серьёзность понижена.

По спецификации Agent Skills

  • предупреждение description-no-when description не говорит, КОГДА применять скилл (нет "use when / используй когда")
  • предупреждение body-long тело SKILL.md ≈ 17347 токенов (рекомендуется < 5000); вынесите детали в references/
  • предупреждение missing-ref ссылка на отсутствующий файл: scripts/notify_format.py
  • заметка edit-residue в тексте есть пометки об устаревшем (строки 134, 242, 677): проверьте, не остались ли старые правила рядом с новыми — полная проверка читает текст на противоречия

Процессный рейтинг: все десять параметров 41/100

Не запустится. Скилл ссылается на файлы, которых нет в архиве: scripts/notify_format.py
  • 0Инструменты и файлы. Не хватает 1 файла(ов): scripts/notify_format.py
  • 0Результат и критерий готовности. Не сказано, что считать результатом
  • 0Входы и предусловия. Не сказано, что нужно иметь на входе
  • 10Стоимость исполнения. Тело инструкции 17347 токенов: вытесняет саму задачу из окна
  • 30Повторный запуск. Изменяющих операций: 26, без проверки текущего состояния
  • 50Когда включается. Не сказано, при каком запросе скилл включается
  • 85Шаги. Шагов: 62, расплывчатых формулировок: 1
  • 100Ошибки и развилки. Развилок: 4, есть раздел про ошибки
  • 100Согласованность. Имя и обязательные поля на месте
  • 100Отчётность по ходу. Скилл сообщает о ходе работы
  • medium Правила безопасности и запреты внутри скилла: их место в системном промпте, здесь они не защищают
  • low Разделов верхнего уровня: 18. Похоже на несколько доменов в одном скилле
  • high Скилл велит модели самой совершать необратимое действие, без подтверждения человеком
  • low Ответ описан самодельной разметкой (23 тегов): типизированный вызов надёжнее

Всё перечисленное измерено по тексту скилла, а не оценено моделью: цифры проверяемы. Вес параметра тем больше, чем чаще из-за него процесс встаёт.

Сигналы качества

  • +5В description нет примеров фраз, по которым скилл должен срабатывать
  • +4Описание не говорит, когда скилл НЕ применять (ложные срабатывания)
  • +3Формат ответа не описан: модель каждый раз решает сама
  • -5В тексте остались TODO / заглушки
  • +1Лицензия не указана
  • +2Инструкции на одном языке
  • +3Длина description 440 символов: достаточно сигнала, не съедает бюджет
  • +4Структура: 18 заголовков
  • +3Пошаговые инструкции: 62 пунктов
  • +4Есть примеры (19 блоков кода)
  • +4Справочные файлы упоминаются в инструкциях (1 из 1)

База качества 70; замечания lint вычитаются, сигналы прибавляют до 100. Итог: 55.