Roswitha - Skill d’audit de sécurité des contrats intelligents AI

Ne considérez jamais une suite de tests réussie comme la preuve de la sécurité d’un contrat.

Roswitha 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.

À qui s’adresse cet outil

Aux é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.

Principales capacités

• Examine 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.
• Exécute Slither et Mythril, puis confirme manuellement chaque ligne signalée avant de l’intégrer à un rapport.
• Conç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.
• Évalue la gravité en tenant compte à la fois de l’impact et de la probabilité, jamais de l’impact seul.
• Ré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 ».

Comment l’utiliser

Collez 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.