Trail of Bits Skills Marketplace

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.

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.

Plugin Claude avec des normes de développement Solidity pour du code de qualité production. Plus approfondi sur les tests, la qualité du code et la sensibilité des contrats intelligents. Installez via la place de marché Cyfrin. Par Patrick Collins et l'équipe Cyfrin.

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.