claude-tob-review — Анализ безопасности Solidity контрактов по Trail of Bits
Обеспечивает глубокий анализ безопасности Solidity смарт-контрактов, используя проверенные методологии Trail of Bits. Этот модуль предназначен для выявления потенциальных уязвимостей и повышения надежности децентрализованных приложений, особенно актуально при работе с смарт-контрактами и сложными инфраструктурными решениями, такими как Hyperlane.
Идеально подходит для проверки новых или измененных Solidity контрактов, подготовки к обновлениям и проведению предварительного аудит контрактов. Помогает в поиске различных вариантов уязвимостей, обеспечивая более комплексную оценку безопасности, чем стандартные инструменты.
Результатом работы является единый, консолидированный GitHub review с оценкой серьезности выявленных проблем и рекомендациями по тестированию, основанными на инвариантах. Учитывает предыдущие отзывы и комментарии, предотвращая дублирование информации и обеспечивая эффективную коммуникацию в процессе разработки.
$ ls -R related_skills/
web3-smart-contracts — Разработка безопасных и эффективных смарт-контрактов
ethskills — Актуальная документация для разработки Ethereum
saft-review — Автоматизированный аудит SAFT смарт-контрактов
execute-phase — Структурированная фаза практической реализации кода
npx skills add https://github.com/hyperlane-xyz/hyperlane-monorepo/tree/main/.claude/skills/claude-tob-review
[HINT] Скачивает всю директорию скилла с GitHub: SKILL.md и все связанные файлы