Keylatch — автономный агент для аудита смарт-контрактов Solidity на вашем ПК под управлением Windows. Он читает ваш код, запускает тесты и фиксирует результаты.
Ваш код остается на вашем ПК и не уходит, если вы не выберете это. Промпты отправляются только в конечную точку модели, которую вы выберете; с локальной моделью ничего не покидает ПК, с облачной моделью текстовые данные отправляются этому провайдеру.
Он выполняет ваш сканер и показывает реальный код выхода.
Каждое изменение отображается как diff, который вы можете принять или отклонить.
Агент находит файлы, читает код и запускает ваши проверки.
.3 файлаToken.solпрочитано 120 строкexternal call5 совпаденийyour test commandexit 0findings-log.txtсохраненоKeylatch использует list_dir и glob для поиска файлов контрактов, а read_file для чтения кода, чтобы вы могли безопасно его проверить. grep находит все внешние вызовы и проверки доступа по всей структуре каталога проекта. write_file и edit_file показывают diff в режиме 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, web и SSH не привязаны к папкам. Нет гарантии, что код, сканы или анализ корректны. Агент может сообщать о ложных срабатываниях, поэтому человек подтверждает или отклоняет каждый результат. Переход за рамки статического анализа в рабочем процессе аудита требует тщательной проверки.
