{"product_id":"roswitha-smart-contract-security-auditor-ai-skill","title":"Roswitha — аудитор безпеки смартконтрактів Skill AI","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 Project (або системний 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\/uk\/products\/roswitha-smart-contract-security-auditor-ai-skill","provider":"KissMySkills","version":"1.0","type":"link"}