Keylatch adalah agen otonom untuk audit kontrak pintar Solidity di PC Windows Anda. Ia membaca kode Anda, menjalankan pengujian, dan mencatat temuan yang dihasilkannya.
Kode Anda tetap di PC dan tidak pernah keluar kecuali Anda mengizinkannya. Prompt hanya dikirim ke endpoint model yang Anda pilih; dengan model lokal, tidak ada data yang keluar dari PC, sedangkan dengan model cloud, teks file dikirim ke penyedia layanan tersebut.
Ia mengeksekusi pemindai Anda dan menampilkan kode keluar yang sebenarnya.
Setiap perubahan ditampilkan sebagai diff yang bisa Anda terima atau tolak.
Agen menemukan file, membaca kode, dan menjalankan pemeriksaan Anda.
.3 fileToken.solbaca 120 barisexternal call5 kecocokanyour test commandexit 0findings-log.txtdisimpanKeylatch menggunakan list_dir dan glob untuk menemukan file kontrak Anda, lalu menggunakan read_file untuk membaca kode agar Anda bisa meninjaunya dengan aman. grep menemukan setiap panggilan eksternal dan pemeriksaan akses di seluruh struktur direktori proyek. write_file dan edit_file menampilkan diff dalam mode Ask first sebelum Anda menerimanya. Shell menjalankan perintah pengujian dan pemeriksaan statis Anda di PC Anda. web_search membaca dokumentasi resmi Solidity untuk memverifikasi standar terbaru. Audit kontrak pintar Solidity ini menggunakan ocr untuk membaca tabel dari screenshot. Filter false positive AI dalam audit ditangani melalui konfirmasi manual.
Agen menggunakan grep untuk menemukan setiap panggilan eksternal dan perubahan state di seluruh proyek, sehingga ia tahu persis di mana mencari masalah dan meninjau rencana. Tinjau rencana. Ia menggunakan read_file untuk membaca kontrak dan list_dir untuk menemukan file. Contoh audit kontrak pintar menunjukkan bagaimana write_file dan edit_file menulis catatan temuan. Anda meninjau rencana dalam mode Plan only sebelum menjalankan apa pun. Shell menjalankan perintah pengujian Anda dan menyimpan output ke file teks. web_search dan http_get membaca dokumentasi resmi Solidity sebagai referensi. Langkah selanjutnya dalam audit kontrak pintar adalah mengkonfirmasi temuan dengan pengujian lokal.
Keylatch bukan layanan yang dihosting atau plugin; alat ini ditujukan hanya untuk file Anda sendiri, PC, dan server yang Anda wewenahi untuk digunakan—Anda menyimpan pekerjaan di dalamnya. Agen tidak membatasi ruang lingkup; Shell, web, dan SSH tidak terikat pada folder tertentu. Tidak ada jaminan bahwa kode, pemindaian, atau analisis itu benar. Agen dapat melaporkan false positive, sehingga seseorang harus mengkonfirmasi atau menolak setiap temuan. Melampaui analisis statis dalam alur kerja audit memerlukan verifikasi yang cermat.
