Producto
Agente de auditoría de contratos Solidity
01
Keylatch es un agente autónomo para auditar contratos Solidity en tu PC con Windows. Lee tu código, ejecuta tus pruebas y registra los hallazgos que reporta.
01Elige dónde van los prompts
Tu código se queda en tu PC y nunca sale a menos que tú lo decidas. Los prompts van solo al endpoint del modelo que elijas; con un modelo local nada sale del PC, con un modelo en la nube se envía el texto del archivo a ese proveedor.
02Ejecuta tus herramientas
Ejecuta tu escáner y muestra el código de salida real.
03Muestra diferencias
Cada edición aparece como un diff que puedes aceptar o rechazar.
Características
- Archivosleer, escribir, editar, eliminar y listar archivos en tu carpeta de trabajo.
- Shellejecuta tus comandos de compilación y prueba con códigos de salida reales.
- Webbusca en la web o lee una página oficial de documentación.
- Capturas de pantalla e imágeneslee texto de capturas de pantalla o genera archivos de imagen.
- Orquestaciónejecuta subagentes en paralelo o envía pasos complejos a modelos más grandes.
- Modos de aprobaciónAuto-run, Ask first o Plan only para tu control.
- Cronejecuta tus prompts en un horario sin que tengas que estar mirando.
- Modelosusa un proveedor en la nube, un modelo local o el modelo integrado.
Cómo funciona
El agente encuentra los archivos, lee el código y ejecuta tus verificaciones.
Keylatch · Flujo de trabajo de auditoría● Ask first
Revisa el contrato en busca de fallos de reentrancy y control de acceso.
- list_dir
.3 archivos - read_file
Token.solleído 120 líneas - grep
external call5 coincidencias - Shell
your test commandsalida 0 - write_file
findings-log.txtguardado
Guías paso a paso
Encontrar fallos
Keylatch usa list_dir y glob para encontrar tus archivos de contrato, y usa read_file para leer el código y que puedas revisarlo de forma segura. grep encuentra cada llamada externa y verificación de acceso en toda la estructura del directorio del proyecto. write_file y edit_file muestran el diff en Ask first antes de que aceptes. Shell ejecuta tu propio comando de prueba y tu comando de verificación estática en tu PC. web_search lee la documentación oficial de Solidity para verificar los estándares más recientes. Esta auditoría de contrato Solidity usa ocr para leer una tabla de una captura de pantalla. El filtro de falsos positivos de IA en auditorías se maneja mediante confirmación manual.
Ejecutar pruebas
El agente usa grep para encontrar cada llamada externa y cambio de estado en el proyecto, para que sepa exactamente dónde buscar problemas y revisar el plan. Revisa el plan. Usa read_file para leer un contrato y list_dir para encontrar los archivos. El ejemplo de auditoría de contrato muestra cómo write_file y edit_file escriben notas de hallazgos. Revisas el plan en Plan only antes de ejecutar cualquier cosa. Shell ejecuta tu comando de prueba y guarda la salida en un archivo de texto. web_search y http_get leen la documentación oficial de Solidity para referencia. El siguiente paso de la auditoría de contrato es confirmar los hallazgos con una prueba local.
Lo que Keylatch no haceKeylatch no es un servicio alojado ni un complemento; está diseñado solo para tus propios archivos, PC y servidores en los que tengas autorización para usarlos: mantienes el trabajo dentro de ellos. El agente no impone el alcance; Shell, web y SSH no están limitados por carpeta. No hay garantía de que el código, los escaneos o los análisis sean correctos. El agente puede reportar falsos positivos, por lo que una persona confirma o descarta cada hallazgo. Ir más allá del análisis estático en el flujo de trabajo de auditoría requiere una verificación cuidadosa.