Trail of Bits Skills Marketplace

Competenze di Claude Code per la sicurezza e lo sviluppo in Solidity. solidity-auditor fornisce un feedback di sicurezza rapido (in genere in meno di 5 minuti) sulle modifiche a Solidity durante lo sviluppo. Funziona con la CLI di Claude Code, l'estensione Claude per VS Code e Cursor.

Competenze per agenti per lo sviluppo sicuro di smart contract con le librerie OpenZeppelin Contracts, inclusi i flussi di lavoro di configurazione e aggiornamento per Solidity e altri ecosistemi.

Plugin per Claude con standard di sviluppo Solidity per codice di livello produttivo. Più approfondito su test, qualità del codice e sensibilità degli smart contract. Installabile tramite il marketplace di Cyfrin. Creato da Patrick Collins e dal team di Cyfrin.

Competenza di Claude Code che scansiona le codebase Solidity alla ricerca di vulnerabilità di sicurezza utilizzando 36 tipi di vulnerabilità unici. Audit in quattro fasi: caricamento del cheatsheet, scansione sintattica e semantica della codebase, convalida profonda con file di riferimento e report. Riferimenti da smart-contract-vulnerabilities.

Competenze per agenti IA per l'auditing di sicurezza degli smart contract. Dieci plugin che coprono rientranza, oracolo/prestito lampo, proxy/aggiornamento, invarianti di stato, guardie semantiche e altro ancora. Metodologia QuillShield per le vulnerabilità che l'analisi statica tradizionale non rileva. Funziona con Claude e Cursor.

Auditor di sicurezza per smart contract per Claude Code e Codex CLI. Integra Slither, Aderyn, la checklist di Cyfrin e i risultati di Solodit. Metodologia Map-Hunt-Attack con quattro strumenti MCP per l'analisi statica e la ricerca dei risultati.