Keylatch
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.

01

Elige 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.

02

Ejecuta tus herramientas

Ejecuta tu escáner y muestra el código de salida real.

03

Muestra diferencias

Cada edición aparece como un diff que puedes aceptar o rechazar.

Características

Cómo funciona

El agente encuentra los archivos, lee el código y ejecuta tus verificaciones.

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 hace

Keylatch 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.

Keylatch para Windows

Descargar Keylatch

Descargar Keylatch ↗