Ajan araçları

sc-auditor

Ajan yetenekleri

MCP sunucusu · Güvenlik · Solidity · Statik analiz

Claude Code ve Codex CLI için akıllı sözleşme güvenlik denetçisi. Slither, Aderyn, Cyfrin kontrol listesi ve Solodit bulgularını entegre eder. Statik analiz ve bulgu araması için dört MCP aracıyla Harita-Av-Saldırı (Map-Hunt-Attack) metodolojisi.

İlgili kaynaklar

Pashov Audit Group Skills

Solidity güvenliği ve geliştirmesi için Claude Code becerileri. solidity-auditor, siz geliştirirken Solidity değişiklikleri hakkında hızlı (genellikle 5 dakikanın altında) güvenlik geri bildirimi sağlar. Claude Code CLI, VS Code Claude uzantısı ve Cursor ile çalışır.

Trail of Bits Skills Marketplace

Yapay zeka destekli güvenlik analizi, test ve geliştirme iş akışlarını geliştirmek için beceriler sağlayan, Trail of Bits'ten bir Claude Code eklenti pazarı.

OpenZeppelin Skills

Solidity ve diğer ekosistemler için kurulum ve yükseltme iş akışları dahil olmak üzere, OpenZeppelin Contracts kütüphaneleri ile güvenli akıllı sözleşme geliştirmeye yönelik ajan becerileri.

Cyfrin solskill

Üretim düzeyinde kod için Solidity geliştirme standartlarına sahip Claude eklentisi. Test, kod kalitesi ve akıllı sözleşme hassasiyeti konusunda daha kapsamlıdır. Cyfrin pazar yeri üzerinden yükleyin. Patrick Collins ve Cyfrin ekibi tarafından hazırlanmıştır.

SCV Scan

36 benzersiz güvenlik açığı türünü kullanarak Solidity kod tabanlarını güvenlik açıkları açısından tarayan Claude Code becerisi. Dört aşamalı denetim: kopya kağıdını yükleme, sözdizimsel ve anlamsal kod tabanı taraması, referans dosyalarıyla derin doğrulama ve raporlama. smart-contract-vulnerabilities'den referanslar.

QuillShield Security Skills

Akıllı sözleşme güvenlik denetimi için yapay zeka ajanı becerileri. Yeniden giriş (reentrancy), kâhin/flaş kredi, proxy/yükseltme, durum değişmezleri, anlamsal korumalar ve daha fazlasını kapsayan on eklenti. Geleneksel statik analizin gözden kaçırdığı güvenlik açıkları için QuillShield metodolojisi. Claude ve Cursor ile çalışır.