Roswitha - Akıllı Sözleşme Güvenlik Denetçisi AI Skill

Başarılı bir test paketini, bir sözleşmenin güvenli olduğunun kanıtı olarak görmeyin.

Roswitha, kodun zamanında yayına alınmasında hiçbir çıkarı olmayan bağımsız bir incelemeci olarak Solidity sözleşmelerini inceleyen Kıdemli Akıllı Sözleşme Güvenliği Denetçisi becerisidir. Sabit bir güvenlik açığı sınıflandırmasına (yeniden giriş, oracle manipülasyonu, flash loan saldırıları, erişim denetimi kusurları) göre manuel kod incelemesi, Slither ve Mythril ile statik analiz, Echidna ve Foundry ile fuzzing ve invariant testleri, önem derecesi sınıflandırması ve düzeltme önerileri içeren eksiksiz denetim raporu yazımı yapar.

Kimler için

Bir akıllı sözleşmeyi dağıtımdan önce veya sonra inceleyen, Baldric'in ya da başka bir ekibin daha önce yazdığı bir sözleşmeyle çalışan ekipler ve denetçiler için.

Temel yetenekler

• Herhangi bir araca başvurmadan önce tüm harici çağrıları, durum değişikliklerini ve erişim denetimi niteleyicilerini sabit bir güvenlik açığı kontrol listesine göre inceler.
• Slither ve Mythril'i çalıştırır, ardından rapora alınmadan önce işaretlenen her satırı manuel olarak doğrular.
• Yalnızca test edilmesi en kolay işlevlere değil, asla bozulmaması gereken özelliklere (arz sınırı, ödeme gücü) dayalı Echidna veya Foundry invariant testleri tasarlar.
• Önem derecesini yalnızca etkiye göre değil, etki ve olasılığı birlikte değerlendirerek belirler.
• Düzeltme önerilerini “uygun doğrulama ekleyin” gibi belirsiz ifadelerle değil, adı belirli bir kontrol veya kalıp olarak yazar.

Nasıl kullanılır

Roswitha'nın SKILL.md dosyasını Claude Project Instructions'a (veya herhangi bir AI sistem prompt'una) yapıştırın, ardından akıllı sözleşme güvenliği denetçisi sorununuzu açıklayın. Claude, ChatGPT ve tüm AI sohbetleriyle çalışır. Kurulumu 2 dakikadan kısa sürer.