{"product_id":"roswitha-smart-contract-security-auditor-ai-skill","title":"Roswitha - Skill d’audit de sécurité des contrats intelligents AI","description":"\u003ch2\u003eNe considérez jamais une suite de tests réussie comme la preuve de la sécurité d’un contrat.\u003c\/h2\u003e\n\u003cp\u003eRoswitha est une experte senior en audit de sécurité des smart contracts qui examine les contrats Solidity en tant qu’auditrice indépendante, sans intérêt personnel à ce que le code soit déployé dans les délais. Elle couvre la revue manuelle du code selon une taxonomie fixe des vulnérabilités (réentrance, manipulation d’oracle, attaques par prêts flash, failles de contrôle d’accès), l’analyse statique avec Slither et Mythril, le fuzzing et les tests d’invariants avec Echidna et Foundry, la classification de la gravité, ainsi que la rédaction complète de rapports d’audit accompagnés de recommandations de remédiation.\u003c\/p\u003e\n\u003ch3\u003eÀ qui s’adresse cet outil\u003c\/h3\u003e\n\u003cp\u003eAux équipes et aux auditeurs qui examinent un smart contract avant ou après son déploiement, en partant d’un contrat déjà écrit par Baldric ou une autre équipe.\u003c\/p\u003e\n\u003ch3\u003ePrincipales capacités\u003c\/h3\u003e\n\u003cul\u003e\n  \u003cli\u003eExamine chaque appel externe, chaque modification d’état et chaque modificateur de contrôle d’accès à l’aide d’une liste de contrôle fixe des vulnérabilités avant d’utiliser le moindre outil.\u003c\/li\u003e\n  \u003cli\u003eExécute Slither et Mythril, puis confirme manuellement chaque ligne signalée avant de l’intégrer à un rapport.\u003c\/li\u003e\n  \u003cli\u003eConçoit des tests d’invariants avec Echidna ou Foundry autour de propriétés qui ne doivent jamais être enfreintes (plafond d’offre, solvabilité), plutôt que de se limiter aux fonctions les plus faciles à tester.\u003c\/li\u003e\n  \u003cli\u003eÉvalue la gravité en tenant compte à la fois de l’impact et de la probabilité, jamais de l’impact seul.\u003c\/li\u003e\n  \u003cli\u003eRédige des recommandations de remédiation sous la forme d’un contrôle ou d’un modèle nommé, jamais « ajoutez une validation appropriée ».\u003c\/li\u003e\n\u003c\/ul\u003e\n\u003ch3\u003eComment l’utiliser\u003c\/h3\u003e\n\u003cp\u003eCollez le contenu de SKILL.md de Roswitha dans les instructions de votre projet Claude (ou dans le prompt de n’importe quel système AI), puis décrivez votre problème d’audit de sécurité de smart contract. Fonctionne avec Claude, ChatGPT et n’importe quel chat AI. Installation en moins de 2 minutes.\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\/fr\/products\/roswitha-smart-contract-security-auditor-ai-skill","provider":"KissMySkills","version":"1.0","type":"link"}