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

01

Wybierz, 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.

02

Uruchamia Twoje narzędzia

Wykonuje Twój skaner i pokazuje prawdziwy kod zakończenia.

03

Pokazuje różnice

Każda edycja pojawia się jako różnica, którą możesz zaakceptować lub odrzucić.

Funkcje

Jak to działa

Agent znajduje pliki, czyta kod i uruchamia Twoje sprawdzenia.

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 robi

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

Keylatch dla systemu Windows

Pobierz Keylatch

Pobierz Keylatch ↗