Keylatch è un agente autonomo per l'audit dei contratti smart Solidity su Windows. Legge il codice, esegue i test e registra i risultati rilevati.
Il tuo codice resta sul PC e non esce mai a meno che tu non lo decida. I prompt vanno solo all'endpoint del modello scelto; con un modello locale nulla lascia il PC, con un modello cloud il testo viene inviato al provider.
Esegue lo scanner e restituisce il codice di uscita effettivo.
Ogni modifica appare come un diff che puoi accettare o rifiutare.
L'agente individua i file, legge il codice ed esegue i tuoi controlli.
.3 fileToken.sollette 120 righeexternal call5 corrispondenzeyour test commanduscita 0findings-log.txtsalvatoKeylatch usa list_dir e glob per trovare i file del contratto e read_file per leggerli, così puoi rivederli in sicurezza. grep individua ogni chiamata esterna e controllo di accesso in tutta la struttura delle directory del progetto. write_file e edit_file mostrano il diff in Ask first prima dell'accettazione. Shell esegue i tuoi comandi di test e di controllo statico sul PC. web_search legge la documentazione ufficiale di Solidity per verificare gli standard più recenti. Questa audit di contratto smart Solidity usa ocr per leggere una tabella da uno screenshot. Il filtro dei falsi positivi dell'IA nelle audit viene gestito tramite conferma manuale.
L'agente usa grep per trovare ogni chiamata esterna e modifica di stato nel progetto, così sa esattamente dove cercare problemi e rivedere il piano. Rivedi il piano. Usa read_file per leggere un contratto e list_dir per trovare i file. L'esempio di audit del contratto smart mostra come write_file e edit_file scrivono le note sui risultati. Rivedi il piano in Plan only prima di eseguire qualsiasi operazione. Shell esegue il comando di test e salva l'output in un file di testo. web_search e http_get leggono la documentazione ufficiale di Solidity per riferimento. Il prossimo passo dell'audit del contratto smart è confermare i risultati con un test locale.
Keylatch non è un servizio in hosting o un plugin; è pensato solo per i tuoi file, il tuo PC e i server che sei autorizzato a usare — mantieni il lavoro al loro interno. L'agente non impone limiti di ambito; Shell, web e SSH non sono vincolati alle cartelle. Non c'è garanzia che codice, scansioni o analisi siano corretti. L'agente può segnalare falsi positivi, quindi una persona conferma o scarta ogni risultato. Andare oltre l'analisi statica nel flusso di lavoro di audit richiede una verifica attenta.
