Cyfrin solskill

Compétences Claude Code pour la sécurité et le développement Solidity. solidity-auditor fournit des retours de sécurité rapides (généralement en moins de 5 minutes) sur les modifications Solidity pendant que vous développez. Fonctionne avec la CLI Claude Code, l'extension Claude pour VSCode et Cursor.

Une place de marché de plugins Claude Code de Trail of Bits fournissant des compétences pour améliorer l'analyse de sécurité assistée par l'IA, les tests et les flux de travail de développement.

Compétences d'agent pour le développement sécurisé de contrats intelligents avec les bibliothèques OpenZeppelin Contracts, y compris les flux de travail de configuration et de mise à niveau pour Solidity et d'autres écosystèmes.

Compétence Claude Code qui analyse les bases de code Solidity à la recherche de vulnérabilités de sécurité en utilisant 36 types de vulnérabilités uniques. Audit en quatre phases : chargement de l'aide-mémoire, balayage syntaxique et sémantique de la base de code, validation approfondie avec des fichiers de référence, et rapport. Références issues de smart-contract-vulnerabilities.

Compétences d'agent IA pour l'audit de sécurité des contrats intelligents. Dix plugins couvrant la réentrance, les oracles/prêts éclairs, les proxys/mises à niveau, les invariants d'état, les gardes sémantiques, et plus encore. Méthodologie QuillShield pour les vulnérabilités que l'analyse statique traditionnelle manque. Fonctionne avec Claude et Cursor.

Auditeur de sécurité de contrats intelligents pour Claude Code et la CLI Codex. Intègre Slither, Aderyn, la liste de contrôle Cyfrin et les résultats de Solodit. Méthodologie Map-Hunt-Attack avec quatre outils MCP pour l'analyse statique et la recherche de résultats.