Peralatan agen

QuillShield Security Skills

Keterampilan agen

Keamanan · Solidity · Analisis statis

Keterampilan agen AI untuk audit keamanan kontrak pintar. Sepuluh plugin yang mencakup reentransi, orakel/pinjaman kilat, proksi/peningkatan, invarian state, penjaga semantik, dan banyak lagi. Metodologi QuillShield untuk kerentanan yang terlewatkan oleh analisis statis tradisional. Bekerja dengan Claude dan Cursor.

Sumber daya terkait

Pashov Audit Group Skills

Keterampilan Claude Code untuk keamanan dan pengembangan Solidity. solidity-auditor memberikan umpan balik keamanan yang cepat (biasanya di bawah 5 menit) pada perubahan Solidity saat Anda mengembangkan. Bekerja dengan Claude Code CLI, ekstensi VSCode Claude, dan Cursor.

Trail of Bits Skills Marketplace

Pasar plugin Claude Code dari Trail of Bits yang menyediakan keterampilan untuk meningkatkan analisis keamanan, pengujian, dan alur kerja pengembangan yang dibantu AI.

OpenZeppelin Skills

Keterampilan agen untuk pengembangan kontrak pintar yang aman dengan Pustaka OpenZeppelin Contracts, termasuk alur kerja penyiapan dan peningkatan untuk Solidity dan ekosistem lainnya.

Cyfrin solskill

Plugin Claude dengan standar pengembangan Solidity untuk kode tingkat produksi. Lebih teliti dalam pengujian, kualitas kode, dan sensitivitas kontrak pintar. Instal melalui pasar Cyfrin. Oleh Patrick Collins dan tim Cyfrin.

SCV Scan

Keterampilan Claude Code yang memindai basis kode Solidity untuk kerentanan keamanan menggunakan 36 jenis kerentanan unik. Audit empat fase: memuat lembar contekan, penyapuan basis kode sintaksis dan semantik, validasi mendalam dengan file referensi, dan laporan. Referensi dari smart-contract-vulnerabilities.

sc-auditor

Auditor keamanan kontrak pintar untuk Claude Code dan Codex CLI. Mengintegrasikan Slither, Aderyn, daftar periksa Cyfrin, dan temuan Solodit. Metodologi Map-Hunt-Attack dengan empat alat MCP untuk analisis statis dan pencarian temuan.