O que logic-lens faz?
Pega os bugs que os linters ignoram — revisão de código focada em lógica por meio de rastreamento de execução. Encontra bugs comportamentais, violações de contrato de tipo e incompatibilidades semânticas em 9 categorias de risco. Seis habilidades: revisar, explicar, diffs, localizar, verificação de integridade e pipeline autônomo de auditoria e correção. Claude Code · Codex CLI · Gemini CLI.
Visão Geral
O Logic-Lens é uma habilidade de agente de IA que realiza revisão de código com foco em lógica, utilizando rastreamento de execução para detectar bugs que linters tradicionais não conseguem encontrar. Ele analisa o comportamento real do código, identificando problemas como violações de contrato de tipo, inconsistências de estado e erros de concorrência.
Plataformas Suportadas
- Claude Code
- Codex CLI
- Gemini CLI
Categorias de Risco
- Bugs Comportamentais: Comportamento inesperado em tempo de execução
- Violações de Contrato de Tipo: Quebras de tipo não detectadas por verificadores estáticos
- Incompatibilidades Semânticas: Diferenças entre intenção e implementação
- Erros de Fluxo de Dados: Problemas com propagação e transformação de dados
- Inconsistências de Estado: Estados inválidos ou não intencionais
- Erros de Concorrência: Condições de corrida e deadlocks
- Problemas de Segurança: Vulnerabilidades baseadas em lógica
- Vazamentos de Recursos: Gerenciamento inadequado de recursos
- Quebras de Contrato: Violações de pré-condições, pós-condições e invariantes
Habilidades
1. Revisar (review)
Analisa o código-fonte em busca de bugs lógicos e violações de contrato.
Exemplo de uso:
logic-lens review path/to/file.py
2. Explicar (explain)
Fornece explicações detalhadas sobre bugs identificados, incluindo contexto e impacto.
Exemplo de uso:
logic-lens explain --id BUG-001
3. Diffs (diff)
Compara duas versões de código para identificar mudanças que introduzem novos bugs.
Exemplo de uso:
logic-lens diff --base main --head feature-branch
4. Localizar (locate)
Encontra a localização exata de um bug no código-fonte.
Exemplo de uso:
logic-lens locate --id BUG-001
5. Verificação de Integridade (health-check)
Avalia a saúde geral do código, identificando áreas de risco e sugerindo melhorias.
Exemplo de uso:
logic-lens health-check
6. Pipeline Autônomo de Auditoria e Correção (audit-and-fix)
Executa uma auditoria completa e aplica correções automaticamente.
Exemplo de uso:
logic-lens audit-and-fix path/to/project
Configuração
Para usar o Logic-Lens, configure a variável de ambiente LOGIC_LENS_API_KEY com sua chave de API.
export LOGIC_LENS_API_KEY="sua-chave-aqui"
Exemplos
Exemplo 1: Revisão de um arquivo Python
logic-lens review app.py
Isso analisará app.py em busca de bugs lógicos e gerará um relatório.
Exemplo 2: Verificação de integridade de um repositório
logic-lens health-check
Isso fornecerá uma visão geral da saúde do repositório, destacando áreas problemáticas.
Exemplo 3: Correção autônoma de bugs
logic-lens audit-and-fix src/
Isso auditará o diretório src/ e tentará corrigir bugs automaticamente.
Contribuição
Contribuições são bem-vindas! Por favor, consulte o arquivo CONTRIBUTING.md para obter diretrizes.
Licença
Este projeto está licenciado sob a Licença MIT - veja o arquivo LICENSE para detalhes.
Suporte
Para suporte, entre em contato com a equipe do Logic-Lens ou abra uma issue no repositório GitHub.