AIKraft/AI/Войти
AIKraft/Skills/Размерный анализ

Размерный анализ

Annotates codebases with dimensional analysis comments documenting units, dimensions, and decimal scaling. Use when someone asks to annotate units in a codebase, perform a dimensional analysis, or find vulnerabilities in a DeFi protocol, offchain code, or other blockchain-related codebase with arithmetic. Prevents dimensional mismatches and catches formula bugs early.

trailofbits official Документы

Что делает навык

Навык оркестрирует конвейер размерного анализа для кодовых баз, выполняющих численные вычисления со смешанными единицами, точностями или факторами масштабирования. Он аннотирует код комментариями с размерностями, выявляет ошибки арифметики, вызванные несоответствием единиц или потерей точности, и управляет процессом сканирования, валидации и отчетности.

Когда применять

  • Аннотирование кодовой базы комментариями с единицами измерения и размерностями (например, D18{tok}).
  • Проведение размерного анализа в DeFi-протоколах, финансовом коде или научных вычислениях.
  • Поиск арифметических ошибок, вызванных несоответствием единиц, отсутствием масштабирования или потерей точности.
  • Аудит кодовых баз со смешанной десятичной точностью или фиксированной точностью (fixed-point arithmetic).

Как работает

  1. Сканирование кодовой базы и обнаружение словаря единиц измерения.
  2. Аннотирование кода комментариями с размерностями.
  3. Распространение (propagation) размерностей по вычислениям.
  4. Валидация корректности размерностей и выявление ошибок.
  5. Управление пакетной обработкой, сохранением данных, повторными попытками и контрольными точками покрытия.
  6. Формирование итогового отчета.

Примеры запросов агенту

Проведи размерный анализ для моего DeFi-протокола и найди ошибки несоответствия единиц.
Аннотируй кодовую базу комментариями с размерностями, чтобы предотвратить ошибки масштабирования.
Выполни аудит кода на предмет арифметических ошибок из-за смешанной десятичной точности.

Описание составлено по SKILL.md навыка, сверено 05.10.2026.

Как подключить

1Скачать навык
# возьмите папку навыка «dimensional-analysis» из репозитория: # https://github.com/trailofbits/skills
2Положить папку с SKILL.md к навыкам ассистента
# положите папку навыка туда, где ассистент ищет skills: cp -r dimensional-analysis/ ~/.claude/skills/dimensional-analysis/

Навык — папка с файлом SKILL.md (описание + инструкции) и опциональными скриптами. Ассистент (Claude, Claude Code и совместимые) подхватывает его по описанию и следует шагам.