Produkt
Agent audytu kontraktów Solidity
01
Keylatch to autonomiczny agent do audytu kontraktów smart Solidity na Twoim komputerze Windows. Czyta Twój kod, uruchamia testy i zapisuje zgłaszane wnioski.
01Wybierz, dokąd trafiają podpowiedzi
Twój kod pozostaje na Twoim komputerze i nie opuszcza go, chyba że sam wybierzesz. Podpowiedzi trafiają tylko do wybranego przez Ciebie endpointu modelu; przy modelu lokalnym nic nie opuszcza komputera, a przy modelu chmurowym tekst pliku jest wysyłany do tego dostawcy.
02Uruchamia Twoje narzędzia
Wykonuje Twój skaner i pokazuje prawdziwy kod zakończenia.
03Pokazuje różnice
Każda edycja pojawia się jako różnica, którą możesz zaakceptować lub odrzucić.
Funkcje
- Plikiodczyt, zapis, edycja, usunięcie i wyświetlanie listy plików w folderze roboczym.
- Shelluruchamia Twoje polecenia kompilacji i testów z prawdziwymi kodami zakończenia.
- Siećprzeszukuje internet lub czyta jedną stronę oficjalnej dokumentacji.
- Zrzuty ekranu i obrazyodczytuje tekst ze zrzutów ekranu lub generuje pliki graficzne.
- Orkiestracjauruchamia równoległe pod-agenty lub wysyła trudne kroki do większych modeli.
- Tryby zatwierdzaniaAuto-run, Ask first lub Plan only dla Twojej kontroli.
- Cronuruchamia Twoje podpowiedzi zgodnie z harmonogramem bez Twojej obecności.
- Modeleużyj dostawcy chmurowego, modelu lokalnego lub wbudowanego modelu.
Jak to działa
Agent znajduje pliki, czyta kod i uruchamia Twoje sprawdzenia.
Keylatch · Przepływ audytu● Ask first
Przejrzyj kontrakt pod kątem błędów reentrancy i kontroli dostępu.
- list_dir
.3 pliki - read_file
Token.solprzeczytano 120 linii - grep
external call5 trafień - Shell
your test commandexit 0 - write_file
findings-log.txtzapisano
Przewodniki
Znajdź błędy
Keylatch używa list_dir i glob do znalezienia plików Twoich kontraktów oraz read_file do odczytu kodu, abyś mógł go bezpiecznie przejrzeć. grep znajduje każde wywołanie zewnętrzne i sprawdzenie dostępu w strukturze katalogów projektu. write_file i edit_file pokazują różnicę w trybie Ask first przed Twoją akceptacją. Shell uruchamia Twoją własną komendę testową i komendę statycznej analizy na Twoim komputerze. web_search czyta oficjalną dokumentację Solidity, aby zweryfikować najnowsze standardy. Ten audyt kontraktu smart Solidity wykorzystuje ocr do odczytu tabeli ze zrzutu ekranu. Filtrowanie fałszywych pozytywnych wyników AI w audytach jest obsługiwane przez ręczne potwierdzenie.
Uruchom testy
Agent używa grep do znalezienia każdego wywołania zewnętrznego i zmiany stanu w projekcie, dzięki czemu wie dokładnie, gdzie szukać problemów i przejrzeć plan. Przejrzyj plan. Używa read_file do odczytu kontraktu i list_dir do znalezienia plików. Przykład audytu kontraktu smart pokazuje, jak write_file i edit_file zapisują notatki z wnioskami. Przejrzyj plan w trybie Plan only przed uruchomieniem czegokolwiek. Shell uruchamia Twoją komendę testową i zapisuje wynik do pliku tekstowego. web_search i http_get czytają oficjalną dokumentację Solidity dla odniesienia. Następny krok audytu kontraktu smart to potwierdzenie wniosków lokalnym testem.
Czego Keylatch nie robiKeylatch to nie usługa hostowana ani wtyczka; jest przeznaczony wyłącznie do Twoich własnych plików, komputera i serwerów, z których masz uprawnienia do korzystania — pracujesz w ich obrębie. Agent nie narzuca zakresu; Shell, sieć i SSH nie są ograniczone do folderu. Nie ma gwarancji, że kod, skany lub analiza są poprawne. Agent może zgłaszać fałszywe pozytywy, więc osoba potwierdza lub odrzuca każdy wniosek. Wykraczanie poza analizę statyczną w przepływie audytu wymaga ostrożnej weryfikacji.