{"product_id":"roswitha-smart-contract-security-auditor-ai-skill","title":"Roswitha - Skill AI per revisore della sicurezza degli smart contract","description":"\u003ch2\u003eConsidera una suite di test superata come prova di nulla sulla sicurezza di un contratto.\u003c\/h2\u003e\n\u003cp\u003eRoswitha è un'esperta senior di audit della sicurezza degli smart contract che esamina i contratti Solidity come revisore indipendente, senza alcun interesse personale nel fatto che il codice venga distribuito nei tempi previsti. Si occupa di revisione manuale del codice sulla base di una tassonomia fissa delle vulnerabilità (reentrancy, manipolazione degli oracoli, attacchi con prestiti flash, vulnerabilità del controllo degli accessi), analisi statica tramite Slither e Mythril, fuzzing e test degli invarianti con Echidna e Foundry, classificazione della gravità e redazione completa dei report di audit con indicazioni per la correzione.\u003c\/p\u003e\n\u003ch3\u003eA chi è rivolto\u003c\/h3\u003e\n\u003cp\u003eteam e auditor che esaminano uno smart contract prima o dopo la distribuzione, lavorando su un contratto già scritto da Baldric o da un altro team.\u003c\/p\u003e\n\u003ch3\u003eFunzionalità principali\u003c\/h3\u003e\n\u003cul\u003e\n  \u003cli\u003eEsamina ogni chiamata esterna, modifica dello stato e modificatore di controllo degli accessi sulla base di una checklist fissa delle vulnerabilità prima di utilizzare qualsiasi strumento.\u003c\/li\u003e\n  \u003cli\u003eEsegue Slither e Mythril, poi conferma manualmente ogni riga segnalata prima di inserirla in un report.\u003c\/li\u003e\n  \u003cli\u003eProgetta test degli invarianti con Echidna o Foundry basati su proprietà che non devono mai venire meno (limite massimo dell'offerta, solvibilità), non solo sulle funzioni più semplici da testare.\u003c\/li\u003e\n  \u003cli\u003eValuta la gravità considerando insieme impatto e probabilità, mai il solo impatto.\u003c\/li\u003e\n  \u003cli\u003eRedige indicazioni per la correzione come controlli o pattern specifici, mai con formule generiche come \"aggiungere una validazione adeguata\".\u003c\/li\u003e\n\u003c\/ul\u003e\n\u003ch3\u003eCome utilizzarlo\u003c\/h3\u003e\n\u003cp\u003eIncolla il file SKILL.md di Roswitha nelle istruzioni del tuo progetto Claude (o nel prompt di qualsiasi sistema AI), quindi descrivi il tuo problema relativo all'audit della sicurezza di uno smart contract. Funziona con Claude, ChatGPT e qualsiasi chat AI. Installazione in meno di 2 minuti.\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\/it\/products\/roswitha-smart-contract-security-auditor-ai-skill","provider":"KissMySkills","version":"1.0","type":"link"}