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.
01Wä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.
02Führt Ihre Tools aus
Er führt Ihren Scanner aus und zeigt den echten Exit-Code.
03Zeigt Diffs an
Jede Bearbeitung erscheint als Diff, den Sie akzeptieren oder ablehnen können.
Funktionen
- Dateienlesen, schreiben, bearbeiten, löschen und auflisten von Dateien in Ihrem Arbeitsordner.
- Shellführt Ihre Build- und Testbefehle mit echten Exit-Codes aus.
- Webdurchsucht das Internet oder liest eine offizielle Dokumentationsseite.
- Screenshots und Bilderliest Text aus Screenshots oder generiert Bilddateien.
- Orchestrierungführt parallele Sub-Agents aus oder sendet komplexe Schritte an größere Modelle.
- GenehmigungsmodiAuto-run, Ask first oder Plan only für Ihre Kontrolle.
- Cronführt Ihre Prompts nach Zeitplan aus, ohne dass Sie zuschauen müssen.
- Modelleverwenden Sie einen Cloud-Anbieter, ein lokales Modell oder das integrierte Modell.
So funktioniert es
Der Agent findet die Dateien, liest den Code und führt Ihre Prüfungen durch.
Keylatch · Audit-Workflow● Ask first
Überprüfen Sie den Vertrag auf Reentrancy- und Zugriffssteuerungsfehler.
- list_dir
.3 Dateien - read_file
Token.sol120 Zeilen gelesen - grep
external call5 Treffer - Shell
your test commandExit 0 - write_file
findings-log.txtgespeichert
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 tutKeylatch 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.