Keylatch
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.

01

Alege 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.

02

Rulează instrumentele tale

Execută scannerul tău și afișează codul de ieșire real.

03

Afișează diferențele

Fiecare editare apare ca o diferență pe care o poți accepta sau respinge.

Funcționalități

Cum funcționează

Agentul găsește fișierele, citește codul și rulează verificările tale.

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 Keylatch

Keylatch 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ă.

Keylatch pentru Windows

Descarcă Keylatch

Descarcă Keylatch ↗