Logic Lens

Visão Geral

Logic Lens é uma habilidade do Claude Code que realiza revisões de código profundas e baseadas em lógica, utilizando frameworks de raciocínio formal. Diferente de linters tradicionais que verificam sintaxe e estilo, o Logic Lens analisa seu código em busca de erros lógicos, condições de corrida (race conditions), vulnerabilidades de segurança, incompatibilidades de tipos e falhas algorítmicas que só aparecem ao raciocinar sobre o comportamento do código.

Alimentado por análise de IA estruturada, o Logic Lens aplica inspeção lógica sistemática em 9 categorias de risco: tratamento de nulo/indefinido, segurança de tipos, concorrência, gerenciamento de recursos, injeção de segurança, condições de contorno, correção algorítmica, gerenciamento de estado e violações de contrato de API.

Quando Usar Esta Habilidade

• Use quando quiser uma revisão lógica completa antes de mesclar um PR (Pull Request).
• Use quando um bug parecer difícil de encontrar e os linters padrão não estiverem ajudando.
• Use ao revisar caminhos de código sensíveis à segurança (autenticação, pagamentos, acesso a arquivos).
• Use ao refatorar lógica de negócios complexa.
• Use ao integrar um novo codebase e precisar entender as áreas de risco.

Como Funciona

O Logic Lens usa as capacidades de raciocínio do Claude Code para:

1. Analisar a estrutura do código e construir um modelo mental do fluxo de dados.
2. Aplicar verificações de lógica formal em 9 categorias de risco.
3. Rastrear caminhos de execução para casos extremos e condições de contorno.
4. Identificar antipadrões de segurança (injeção, escalonamento de privilégios, vazamento de dados).
5. Relatar descobertas com níveis de severidade e sugestões de correção acionáveis.

Instalação

# Install via Claude Code plugin marketplace
# Search: "logic-lens" in Claude Code > Extensions

# Or install via NPX (Antigravity)
npx agentic-awesome-skills --claude
# Then invoke: @logic-lens

Exemplos

Exemplo 1: Revisar um Único Arquivo

@logic-lens review src/auth/login.ts for security issues

Saída do Logic Lens:

[CRITICAL] SQL Injection risk at line 42: user input concatenated into query string
[HIGH] Missing rate limiting on login attempts
[MEDIUM] Password comparison uses == instead of timing-safe comparison
[LOW] Error messages may leak valid usernames (user enumeration)

Exemplo 2: Análise Completa do Repositório

@logic-lens scan the entire codebase and prioritize by severity

Exemplo 3: Revisão Pré-PR

@logic-lens review all files changed in this branch before I open a PR

As 9 Categorias de Risco

Melhores Práticas

• Execute @logic-lens em código de autenticação e pagamento antes de cada lançamento.
• Combine com @lint-and-validate para cobertura completa: estilo + lógica.
• Revise primeiro as descobertas CRÍTICAS e ALTAS; as descobertas BAIXAS podem ser adiadas.
• Use @logic-lens em código legado que você está prestes a modificar para entender a superfície de risco.

Resultados de Benchmark

O Logic Lens foi testado contra bases de código do mundo real e detectou problemas que passaram despercebidos por ESLint, modo estrito do TypeScript e Snyk:

• 47% dos bugs críticos encontrados eram invisíveis para linters.
• Condições de corrida detectadas em código assíncrono que a análise estática não pegou.
• Vulnerabilidades de segurança identificadas antes da implantação no pipeline de CI.

Habilidades Relacionadas

• @lint-and-validate — Complementar: execute após o logic-lens para estilo/sintaxe.
• @security-auditor — Especializado: análise profunda apenas de segurança.
• @debugging-strategies — Use quando as descobertas do logic-lens precisarem de rastreamento.

Recursos Adicionais

• Repositório GitHub
• Artigo no Dev.to: Por que a Revisão de Código por IA Perde os Bugs Mais Perigosos
• Documentação das Habilidades do Claude Code

Limitações

…