Strumenti per agenti

Pashov Audit Group Skills

Competenze degli agenti

Sicurezza · Solidity · Analisi statica

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.

Risorse correlate

Trail of Bits Skills Marketplace

Un marketplace di plugin per Claude Code di Trail of Bits che fornisce competenze per migliorare l'analisi della sicurezza assistita dall'IA, i test e i flussi di lavoro di sviluppo.

OpenZeppelin Skills

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.

Cyfrin solskill

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.

SCV Scan

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.

QuillShield Security Skills

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.

sc-auditor

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.