Agent pro audit Solidity smart kontraktů

Funkce

• Souboryčtení, zápis, úprava, mazání a výpis souborů ve vaší pracovní složce.
• Shellspouští vaše příkazy pro sestavení a testy s reálnými kódy návratu.
• Webhledá na webu nebo čte jednu stránku oficiální dokumentace.
• Snímky obrazovky a obrázkyčte text ze snímků obrazovky nebo generuje soubory obrázků.
• Orchestracespouští paralelní sub-agenty nebo posílá náročné kroky větším modelům.
• Režimy schváleníAuto-run, Ask first nebo Plan only pro vaši kontrolu.
• Cronspouští vaše podněty podle harmonogramu bez vašeho dohledu.
• Modelypoužijte cloudového poskytovatele, lokální model nebo vestavěný model.

Průvodce

Najít chyby

Keylatch používá list_dir a glob k nalezení souborů kontraktu a read_file k přečtení kódu, abyste jej mohli bezpečně zkontrolovat. grep najde každé externí volání a kontrolu přístupu v celé struktuře adresáře projektu. write_file a edit_file zobrazují diff v režimu Ask first před vaším přijetím. Shell spustí váš vlastní příkaz pro testy a příkaz pro statickou kontrolu na vašem PC. web_search přečte oficiální dokumentaci Solidity pro ověření nejnovějších norem. Tento audit Solidity smart kontraktu používá ocr k čtení tabulky ze snímku obrazovky. Filtrování falešně pozitivních výsledků AI v auditech je řešeno ručním potvrzením.

Spustit testy

Agent používá grep k nalezení každého externího volání a změny stavu v projektu, takže přesně ví, kde hledat problémy a zkontrolovat plán. Zkontrolujte plán. Používá read_file k přečtení kontraktu a list_dir k nalezení souborů. Příklad auditu smart kontraktu ukazuje, jak write_file a edit_file zapisují poznámky k nálezům. Plán zkontrolujete v režimu Plan only před spuštěním čehokoli. Shell spustí váš testovací příkaz a uloží výstup do textového souboru. web_search a http_get čtou oficiální dokumentaci Solidity pro referenci. Dalším krokem auditu smart kontraktu je potvrzení nálezů lokálním testem.