Keylatch
Produkt

Solidity Smart Contract Audit Agent

01

Keylatch ist ein autonomer Agent für die Prüfung Ihrer Solidity Smart Contracts auf Ihrem Windows-PC. Er liest Ihren Code, führt Ihre Tests aus und protokolliert die gemeldeten Ergebnisse.

01

Wählen Sie, wohin Prompts gesendet werden

Ihr Code bleibt auf Ihrem PC und verlässt ihn nur, wenn Sie es wünschen. Prompts werden nur an den von Ihnen gewählten Model-Endpoint gesendet; bei einem lokalen Modell verlässt nichts den PC, bei einem Cloud-Modell wird der Text an diesen Anbieter gesendet.

02

Führt Ihre Tools aus

Er führt Ihren Scanner aus und zeigt den echten Exit-Code.

03

Zeigt Diffs an

Jede Bearbeitung erscheint als Diff, den Sie akzeptieren oder ablehnen können.

Funktionen

So funktioniert es

Der Agent findet die Dateien, liest den Code und führt Ihre Prüfungen durch.

Anleitungen

Fehler finden

Keylatch verwendet list_dir und glob, um Ihre Vertragsdateien zu finden, und read_file, um den Code zu lesen, damit Sie ihn sicher überprüfen können. grep findet jeden externen Aufruf und jede Zugriffskontrolle im gesamten Projektordner. write_file und edit_file zeigen den Diff in Ask first an, bevor Sie ihn akzeptieren. Shell führt Ihren eigenen Testbefehl und Ihren statischen Check-Befehl auf Ihrem PC aus. web_search liest die offizielle Solidity-Dokumentation, um die neuesten Standards zu überprüfen. Dieser Solidity Smart Contract Audit verwendet ocr, um eine Tabelle aus einem Screenshot zu lesen. Die Filterung von KI-Falschmeldungen in Audits erfolgt durch manuelle Bestätigung.

Tests ausführen

Der Agent verwendet grep, um jeden externen Aufruf und jede Zustandsänderung im Projekt zu finden, damit er genau weiß, wo er nach Problemen suchen muss, und den Plan überprüft. Plan überprüfen. Er verwendet read_file, um einen Vertrag zu lesen, und list_dir, um die Dateien zu finden. Das Smart Contract Audit-Beispiel zeigt, wie write_file und edit_file Ergebnisnotizen schreiben. Sie überprüfen den Plan in Plan only, bevor Sie etwas ausführen. Shell führt Ihren Testbefehl aus und speichert die Ausgabe in einer Textdatei. web_search und http_get lesen die offizielle Solidity-Dokumentation als Referenz. Der nächste Schritt bei der Smart Contract Audit ist die Bestätigung der Ergebnisse mit einem lokalen Test.

Was Keylatch nicht tut

Keylatch ist kein gehosteter Dienst oder Plugin; er ist nur für Ihre eigenen Dateien, Ihren PC und Ihre autorisierten Server gedacht – Sie behalten die Arbeit innerhalb dieser Grenzen. Der Agent erzwingt keinen Umfang; Shell, Web und SSH sind nicht ordnergebunden. Es gibt keine Garantie dafür, dass Code, Scans oder Analysen korrekt sind. Der Agent kann Falschmeldungen melden, daher bestätigt oder verwirft eine Person jeden Fund. Der Schritt über die statische Analyse hinaus im Audit-Workflow erfordert sorgfältige Überprüfung.

Keylatch für Windows

Keylatch herunterladen

Keylatch herunterladen ↗