Outils d'agent

Pashov Audit Group Skills

Compétences d'agent

Sécurité · Solidity · Analyse statique

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.

Ressources associées

Trail of Bits Skills Marketplace

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.

OpenZeppelin Skills

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.

Cyfrin solskill

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.

SCV Scan

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.

QuillShield Security Skills

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.

sc-auditor

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.