Produto
Agente de Auditoria de Contratos Solidity
01
Keylatch é um agente autônomo para auditoria de contratos inteligentes Solidity no seu PC Windows. Lê o código, executa testes e regista os achados que reporta.
01Escolha para onde vão os prompts
Seu código permanece no PC e não sai a menos que você escolha. Os prompts vão apenas para o endpoint do modelo que você escolhe; com um modelo local nada sai do PC, com um modelo em nuvem o texto do arquivo é enviado para esse provedor.
02Executa suas ferramentas
Executa seu scanner e mostra o código de saída real.
03Mostra diffs
Cada edição aparece como um diff que você pode aceitar ou rejeitar.
Recursos
- Arquivosler, gravar, editar, excluir e listar arquivos na pasta de trabalho.
- Shellexecuta seus comandos de build e teste com códigos de saída reais.
- Webpesquisa na web ou lê uma página oficial de documentação.
- Capturas de tela e imagenslê texto de capturas de tela ou gera arquivos de imagem.
- Orquestraçãoexecuta sub-agentes paralelos ou envia etapas críticas para modelos maiores.
- Modos de aprovaçãoAuto-run, Ask first ou Plan only para seu controle.
- Cronexecuta seus prompts em um cronograma sem você precisar vigiar.
- Modelosuse um provedor em nuvem, um modelo local ou o modelo embutido.
Como funciona
O agente encontra os arquivos, lê o código e executa suas verificações.
Keylatch · Fluxo de auditoria● Ask first
Revise o contrato quanto a falhas de reentrância e controle de acesso.
- list_dir
.3 arquivos - read_file
Token.sol120 linhas lidas - grep
external call5 correspondências - Shell
your test commandsaída 0 - write_file
findings-log.txtsalvo
Tutoriais
Encontrar falhas
Keylatch usa list_dir e glob para encontrar seus arquivos de contrato, e usa read_file para ler o código para que você possa revisá-lo com segurança. grep encontra cada chamada externa e verificação de acesso em toda a estrutura de diretórios do projeto. write_file e edit_file mostram o diff em Ask first antes de você aceitar. Shell executa seu próprio comando de teste e seu comando de verificação estática no seu PC. web_search lê a documentação oficial do Solidity para verificar os padrões mais recentes. Esta auditoria de contrato inteligente Solidity usa ocr para ler uma tabela de uma captura de tela. Falsos positivos de IA em auditorias são tratados por confirmação manual.
Executar testes
O agente usa grep para encontrar cada chamada externa e alteração de estado em todo o projeto, para que saiba exatamente onde procurar problemas e revisar o plano. Revise o plano. Ele usa read_file para ler um contrato e list_dir para encontrar os arquivos. O exemplo de auditoria de contrato inteligente mostra como write_file e edit_file gravam notas de achados. Você revisa o plano em Plan only antes de executar qualquer coisa. Shell executa seu comando de teste e salva a saída em um arquivo de texto. web_search e http_get leem a documentação oficial do Solidity para referência. O próximo passo da auditoria de contrato inteligente é confirmar os achados com um teste local.
O que Keylatch não fazKeylatch não é um serviço hospedado ou plugin; destina-se apenas aos seus próprios arquivos, PC e servidores que você está autorizado a usar — você mantém o trabalho dentro deles. O agente não impõe escopo; Shell, web e SSH não são limitados a pastas. Não há garantia de que o código, varreduras ou análises estejam corretos. O agente pode relatar falsos positivos, então uma pessoa confirma ou descarta cada achado. Ir além da análise estática no fluxo de auditoria requer verificação cuidadosa.