cairo-vulnerability-scanner
О программе
Этот навык сканирует смарт-контракты Cairo/StarkNet на наличие шести критических уязвимостей безопасности, таких как арифметическое переполнение и проблемы с обменом сообщениями. Используйте его при аудите смарт-контрактов для автоматического выявления распространённых недостатков безопасности в проектах StarkNet. Он особенно полезен разработчикам, создающим или проверяющим безопасные контракты на Cairo.
Быстрая установка
Claude Code
Рекомендуетсяnpx skills add plurigrid/asi -a claude-code/plugin add https://github.com/plurigrid/asigit clone https://github.com/plurigrid/asi.git ~/.claude/skills/cairo-vulnerability-scannerСкопируйте и вставьте эту команду в Claude Code для установки этого навыка
GitHub репозиторий
Похожие навыки
solana-vulnerability-scanner
ДругоеЭтот навык сканирует программы Solana и Anchor на наличие шести критических уязвимостей безопасности, таких как произвольный CPI и некорректная проверка PDA. Разработчикам следует использовать его при аудите смарт-контрактов для автоматического выявления типичных ошибок безопасности. Он предоставляет автоматизированный анализ безопасности, помогая создавать более защищённые программы на Solana.
ton-vulnerability-scanner
ДругоеЭтот навык сканирует смарт-контракты TON, написанные на FunC, на наличие трёх критических уязвимостей безопасности: некорректное использование целых чисел в качестве булевых значений, поддельные контракты Jetton и незащищённая пересылка TON. Используйте его при аудите смарт-контрактов для автоматического выявления этих распространённых недостатков. Он предназначен для разработчиков, создающих или проверяющих безопасные контракты в The Open Network.
solana-vulnerability-scanner
ДругоеЭтот навык сканирует программы Solana и Anchor на наличие шести критических уязвимостей безопасности, таких как произвольный CPI и некорректная проверка PDA. Разработчикам следует использовать его при аудите смарт-контрактов для автоматического выявления типичных недостатков. Это инструмент от Trail of Bits, ориентированный на безопасность, для создания защищённых контрактов.
audit-prep-assistant
ДругоеЭтот навык помогает разработчикам готовить смарт-контракты к аудиту безопасности, автоматизируя контрольный список Trail of Bits. Он выполняет статический анализ, улучшает покрытие тестами, удаляет мертвый код и генерирует документацию, такую как блок-схемы и пользовательские истории. Используйте его для систематического укрепления вашей кодовой базы перед формальной проверкой.