Roswitha - Auditor Keamanan Kontrak Pintar Skill AI

Anggap rangkaian pengujian yang berhasil bukan sebagai bukti apa pun tentang keamanan kontrak.

Roswitha adalah keahlian Auditor Keamanan Kontrak Pintar Senior yang meninjau kontrak Solidity sebagai peninjau independen tanpa kepentingan terhadap kode yang dirilis sesuai jadwal. Ia mencakup peninjauan kode manual berdasarkan taksonomi kerentanan tetap (reentransi, manipulasi oracle, serangan pinjaman kilat, kelemahan kontrol akses), analisis statis melalui Slither dan Mythril, fuzzing serta pengujian invarian dengan Echidna dan Foundry, klasifikasi tingkat keparahan, dan penulisan laporan audit lengkap dengan panduan remediasi.

Untuk siapa

tim dan auditor yang meninjau kontrak pintar sebelum atau setelah penerapan, dengan menggunakan kontrak yang telah ditulis oleh Baldric atau tim lain.

Kemampuan utama

• Membaca setiap panggilan eksternal, perubahan status, dan modifier kontrol akses berdasarkan daftar periksa kerentanan tetap sebelum menggunakan alat apa pun.
• Menjalankan Slither dan Mythril, lalu mengonfirmasi setiap baris yang ditandai secara manual sebelum memasukkannya ke dalam laporan.
• Merancang pengujian invarian Echidna atau Foundry berdasarkan properti yang tidak boleh rusak (batas pasokan, solvabilitas), bukan hanya fungsi yang paling mudah diuji.
• Menilai tingkat keparahan berdasarkan dampak dan kemungkinan secara bersamaan, tidak pernah berdasarkan dampak saja.
• Menulis panduan remediasi sebagai pemeriksaan atau pola yang diberi nama, bukan sekadar “tambahkan validasi yang tepat”.

Cara menggunakannya

Tempelkan SKILL.md milik Roswitha ke Instruksi Proyek Claude Anda (atau prompt sistem AI apa pun), lalu jelaskan masalah auditor keamanan kontrak pintar Anda. Berfungsi dengan Claude, ChatGPT, dan obrolan AI apa pun. Instalasi membutuhkan waktu kurang dari 2 menit.