Product
Solidity Smart Contract Audit Agent
01
Keylatch is een autonome agent voor een Solidity smart contract audit op je Windows-pc. Het leest je code, voert je tests uit en registreert de bevindingen die het rapporteert.
01Kies waar prompts naartoe gaan
Je code blijft op je pc en vertrekt niet tenzij jij dat kiest. Prompts gaan alleen naar het modelendpoint dat je kiest; met een lokaal model vertrekt er niets van je pc, met een cloudmodel wordt tekst naar die provider gestuurd.
02Voert je tools uit
Het voert je scanner uit en toont de echte exitcode.
03Toont diffs
Elke wijziging verschijnt als een diff die je kunt accepteren of afwijzen.
Functies
- Bestandenlezen, schrijven, bewerken, verwijderen en bestanden in je werkmap weergeven.
- Shellvoert je build- en testcommando's uit met echte exitcodes.
- Webzoekt op het internet of leest één officiële documentatiepagina.
- Screenshots en afbeeldingenleest tekst uit screenshots of genereert afbeeldingsbestanden.
- Orkestratievoert parallelle sub-agents uit of stuurt moeilijke stappen naar grotere modellen.
- GoedkeuringsmodiAuto-run, Ask first of Plan only voor jouw controle.
- Cronvoert je prompts uit volgens een schema zonder dat je hoeft toe te kijken.
- Modellengebruik een cloudprovider, een lokaal model of het ingebouwde model.
Hoe het werkt
De agent vindt de bestanden, leest de code en voert je controles uit.
Keylatch · Auditwerkstroom● Ask first
Beoordeel het contract op reentrancy- en toegangscontrolefouten.
- list_dir
.3 bestanden - read_file
Token.sol120 regels gelezen - grep
external call5 matches - Shell
your test commandexit 0 - write_file
findings-log.txtopgeslagen
Uitleg
Vind fouten
Keylatch gebruikt list_dir en glob om je contractbestanden te vinden, en het gebruikt read_file om de code te lezen zodat je het veilig kunt beoordelen. grep vindt elke externe aanroep en toegangscontrole in de projectmapstructuur. write_file en edit_file tonen de diff in Ask first voordat je accepteert. Shell voert je eigen testcommando en je statische-controlecommando uit op je pc. web_search leest de officiële Solidity-documentatie om de nieuwste standaarden te verifiëren. Deze Solidity smart contract audit gebruikt ocr om een tabel uit een screenshot te lezen. Filter ai false positives in audits wordt afgehandeld door handmatige bevestiging.
Voer tests uit
De agent gebruikt grep om elke externe aanroep en statuswijziging in het project te vinden, zodat hij precies weet waar hij op zoek moet naar problemen en het plan kan beoordelen. Beoordeel het plan. Het gebruikt read_file om een contract te lezen en list_dir om de bestanden te vinden. Het voorbeeld van de smart contract audit laat zien hoe write_file en edit_file bevindingsnotities schrijven. Je beoordeelt het plan in Plan only voordat je iets uitvoert. Shell voert je testcommando uit en slaat de uitvoer op in een tekstbestand. web_search en http_get lezen de officiële Solidity-documentatie ter referentie. De volgende stap van de smart contract audit is om bevindingen te bevestigen met een lokale test.
Wat Keylatch niet doetKeylatch is geen gehoste service of plugin; het is bedoeld voor je eigen bestanden, pc en servers die je geautoriseerd bent te gebruiken — je houdt het werk binnen hen. De agent dwingt geen scope af; Shell, web en SSH zijn niet mapgebonden. Er is geen garantie dat code, scans of analyses correct zijn. De agent kan false positives rapporteren, dus een persoon bevestigt of verwerpt elke bevinding. Het verder gaan dan statische analyse in audit workflow vereist zorgvuldige verificatie.