Keylatch — це автономний агент для аудиту смарт-контрактів Solidity на вашому ПК з Windows. Він читає ваш код, запускає тести та фіксує знахідки.
Ваш код залишається на вашому ПК і не виходить звідти, якщо ви не оберете інакше. Запити надходять лише до кінцевої точки моделі, яку ви обрали; з локальною моделлю нічого не залишає ПК, з хмарною моделлю текст файлів надсилається цьому постачальнику.
Він виконує ваш сканер і показує справжній код виходу.
Кожна зміна відображається як різниця, яку ви можете прийняти або відхилити.
Агент знаходить файли, читає код і запускає ваші перевірки.
.3 файлиToken.solпрочитано 120 рядківexternal call5 збігівyour test commandвихід 0findings-log.txtзбереженоKeylatch використовує list_dir та glob для пошуку файлів ваших контрактів, а read_file для читання коду, щоб ви могли безпечно його переглянути. grep знаходить кожний зовнішній виклик та перевірку доступу в структурі каталогу проєкту. write_file та edit_file показують різницю в режимі Ask first перед вашим прийняттям. Shell запускає вашу власну команду тестування та команду статичної перевірки на вашому ПК. web_search читає офіційну документацію Solidity для перевірки останніх стандартів. Аудит цього смарт-контракту Solidity використовує ocr для читання таблиці зі знімка екрана. Фільтрація хибних спрацьовувань ШІ при аудитах здійснюється шляхом ручного підтвердження.
Агент використовує grep для пошуку кожного зовнішнього виклику та зміни стану в проєкті, щоб точно знати, де шукати проблеми та переглядати план. Перегляньте план. Він використовує read_file для читання контракту та list_dir для пошуку файлів. Приклад аудиту смарт-контракту показує, як write_file та edit_file записують нотатки про знахідки. Ви переглядаєте план у режимі Plan only перед запуском чогось. Shell запускає вашу команду тестування та зберігає вивід у текстовий файл. web_search та http_get читають офіційну документацію Solidity для довідки. Наступним кроком аудиту смарт-контракту є підтвердження знахідок за допомогою локального тесту.
Keylatch — це не хостований сервіс або плагін; він призначений лише для ваших власних файлів, ПК та серверів, яким ви маєте право користуватися, — ви зберігаєте роботу всередині них. Агент не накладає межі обсягу; Shell, веб та SSH не прив'язані до папок. Немає гарантії, що код, сканування або аналіз є правильними. Агент може повідомляти про хибні спрацьовування, тому людина підтверджує або відхиляє кожну знахідку. Вихід за межі статичного аналізу в робочому процесі аудиту вимагає ретельної перевірки.
