Produs
Agent de audit contracte Solidity
01
Keylatch este un agent autonom pentru auditul contractelor inteligente Solidity pe PC-ul tău Windows. Citește codul, rulează testele și înregistrează rezultatele raportate.
01Alege unde ajung prompturile
Codul tău rămâne pe PC și nu pleacă niciodată, decât dacă alegi tu. Prompturile ajung doar la endpoint-ul de model pe care îl alegi; cu un model local, nimic nu părăsește PC-ul, iar cu un model cloud, textul fișierelor este trimis către acel furnizor.
02Rulează instrumentele tale
Execută scannerul tău și afișează codul de ieșire real.
03Afișează diferențele
Fiecare editare apare ca o diferență pe care o poți accepta sau respinge.
Funcționalități
- Fișierecitește, scrie, editează, șterge și listează fișiere în folderul tău de lucru.
- Shellrulează comenzile tale de build și test cu coduri de ieșire reale.
- Webcaută pe internet sau citește o singură pagină oficială de documentație.
- Capturi de ecran și imaginicitește text din capturi de ecran sau generează fișiere imagine.
- Orchestrarerulează sub-agente în paralel sau trimite pași grei către modele mai mari.
- Moduri de aprobareAuto-run, Ask first sau Plan only pentru controlul tău.
- Cronrulează prompturile tale la intervale stabilite, fără să fii nevoit să supervizezi.
- Modelefolosește un furnizor cloud, un model local sau modelul integrat.
Cum funcționează
Agentul găsește fișierele, citește codul și rulează verificările tale.
Keylatch · Flux de lucru de audit● Ask first
Revizuiește contractul pentru vulnerabilități de reentrancy și control al accesului.
- list_dir
.3 fișiere - read_file
Token.solcitite 120 de linii - grep
external call5 potriviri - Shell
your test commandexit 0 - write_file
findings-log.txtsalvat
Ghiduri pas cu pas
Găsește vulnerabilitățile
Keylatch folosește list_dir și glob pentru a găsi fișierele contractului, și folosește read_file pentru a citi codul, astfel încât să îl poți revizui în siguranță. grep găsește fiecare apel extern și verificare de acces în structura directorului proiectului. write_file și edit_file afișează diferența în Ask first înainte de a accepta. Shell rulează comanda ta de test și comanda de verificare statică pe PC-ul tău. web_search citește documentația oficială Solidity pentru a verifica standardele recente. Acest audit de contract inteligent Solidity folosește ocr pentru a citi un tabel dintr-o captură de ecran. Filtrarea falselor pozitive AI în audituri este gestionată prin confirmare manuală.
Rulează testele
Agentul folosește grep pentru a găsi fiecare apel extern și modificare de stare în proiect, astfel încât să știe exact unde să caute probleme și să revizuiască planul. Revizuiește planul. Folosește read_file pentru a citi un contract și list_dir pentru a găsi fișierele. Exemplul de audit de contract inteligent arată cum write_file și edit_file scriu notele cu descoperirile. Revizuiești planul în Plan only înainte de a executa orice. Shell rulează comanda ta de test și salvează ieșirea într-un fișier text. web_search și http_get citesc documentația oficială Solidity pentru referință. Următorul pas al auditului de contract inteligent este de a confirma descoperirile cu un test local.
Ce nu face KeylatchKeylatch nu este un serviciu găzduit sau un plugin; este destinat doar fișierelor tale, PC-ului tău și serverelor pe care ești autorizat să le folosești — păstrezi munca în interiorul acestora. Agentul nu impune un domeniu de aplicare; Shell, web și SSH nu sunt limitate la foldere. Nu există nicio garanție că codul, scanările sau analiza sunt corecte. Agentul poate raporta falsuri pozitive, așa că o persoană confirmă sau respinge fiecare descoperire. Trecerea dincolo de analiza statică în fluxul de lucru de audit necesită o verificare atentă.