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

01

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

02

Executa suas ferramentas

Executa seu scanner e mostra o código de saída real.

03

Mostra diffs

Cada edição aparece como um diff que você pode aceitar ou rejeitar.

Recursos

Como funciona

O agente encontra os arquivos, lê o código e executa suas verificações.

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 faz

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

Keylatch para Windows

Baixar Keylatch

Baixar Keylatch ↗