{"product_id":"roswitha-smart-contract-security-auditor-ai-skill","title":"Росвита — AI Skill аудитора безопасности смарт-контрактов","description":"\u003ch2\u003eСчитайте пройденный набор тестов доказательством лишь того, что контракт безопасен.\u003c\/h2\u003e\n\u003cp\u003eRoswitha — специалист по аудиту безопасности смарт-контрактов уровня Senior, которая проверяет контракты на Solidity как независимый аудитор, не заинтересованный в выпуске кода по графику. Она проводит ручную проверку кода по фиксированной классификации уязвимостей (повторный вход, манипуляции оракулами, атаки с использованием флеш-кредитов, недостатки контроля доступа), статический анализ с помощью Slither и Mythril, фаззинг и тестирование инвариантов с Echidna и Foundry, классификацию степени критичности и подготовку полного отчёта об аудите с рекомендациями по исправлению.\u003c\/p\u003e\n\u003ch3\u003eДля кого\u003c\/h3\u003e\n\u003cp\u003eДля команд и аудиторов, проверяющих смарт-контракт до или после развёртывания и работающих с контрактом, который уже написали Baldric или другая команда.\u003c\/p\u003e\n\u003ch3\u003eКлючевые возможности\u003c\/h3\u003e\n\u003cul\u003e\n  \u003cli\u003eПроверяет каждый внешний вызов, изменение состояния и модификатор контроля доступа по фиксированному списку уязвимостей ещё до запуска любых инструментов.\u003c\/li\u003e\n  \u003cli\u003eЗапускает Slither и Mythril, а затем вручную подтверждает каждую отмеченную строку, прежде чем включить её в отчёт.\u003c\/li\u003e\n  \u003cli\u003eПроектирует тесты инвариантов в Echidna или Foundry на основе свойств, которые никогда не должны нарушаться (ограничение эмиссии, платёжеспособность), а не только самых простых для тестирования функций.\u003c\/li\u003e\n  \u003cli\u003eОценивает степень критичности с учётом одновременно воздействия и вероятности, а не только воздействия.\u003c\/li\u003e\n  \u003cli\u003eФормулирует рекомендации по исправлению как именованную проверку или паттерн, а не как расплывчатое «добавьте надлежащую валидацию».\u003c\/li\u003e\n\u003c\/ul\u003e\n\u003ch3\u003eКак использовать\u003c\/h3\u003e\n\u003cp\u003eВставьте SKILL.md Roswitha в инструкции проекта Claude (или системный prompt любой AI-системы), затем опишите задачу аудитора безопасности смарт-контрактов. Работает с Claude, ChatGPT и любым AI-чата. Установка занимает менее 2 минут.\u003c\/p\u003e","brand":"KissMySkills","offers":[{"title":"Default Title","offer_id":58342396625160,"sku":null,"price":39.0,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/1036\/1444\/7880\/files\/sw33-roswitha-smart-contract-security-auditor-nf.png?v=1785685146","url":"https:\/\/kissmyskills.com\/ru\/products\/roswitha-smart-contract-security-auditor-ai-skill","provider":"KissMySkills","version":"1.0","type":"link"}