behavioral-contracts/claude-code-skill-bc-fix

Habilidade para Claude Code que aplica Behavioral Contracts (BC) para identificar e corrigir problemas em código existente.

O que é claude-code-skill-bc-fix?

Esta habilidade para o Claude Code permite que o assistente de IA utilize princípios de Behavioral Contracts (Contratos Comportamentais) para analisar, diagnosticar e corrigir problemas em código-fonte. Com base na técnica de design por contrato, a habilidade inspeciona pré-condições, pós-condições e invariantes no código, identifica violações desses contratos e sugere ou aplica correções automaticamente. É útil para desenvolvedores que desejam garantir a corretude do software, especialmente em sistemas legados ou com lógica complexa. A habilidade funciona integrando-se ao ambiente de desenvolvimento do Claude Code (como CLI ou extensão de editor), analisando o código fornecido e gerando patches ou sugestões de melhoria com base na lógica de contratos comportamentais. Suporta plataformas como Claude Code (CLI) e integrações com editores como Visual Studio Code ou Cursor. O fluxo de trabalho típico envolve selecionar um trecho de código, acionar a habilidade e receber uma análise com correções propostas.

Funciona com✓Claude Code~Codex CLI~Cursor
npx skills add behavioral-contracts/claude-code-skill-bc-fix

Installed? Explore more Programação e Desenvolvimento skills: steipete/bluebubbles, steipete/eightctl, steipete/blucli · View all 6 →

Perguntar na sua IA favorita

Abre um novo chat com esta habilidade de agente já pré-carregada.

Documentação

O que claude-code-skill-bc-fix faz?

Esta habilidade permite que o Claude Code aplique Behavioral Contracts (Contratos Comportamentais) para identificar e corrigir problemas em código existente.

Descrição

A habilidade behavioral-contracts/claude-code-skill-bc-fix analisa o código-fonte em busca de violações de contratos comportamentais (pré-condições, pós-condições e invariantes) e sugere correções automáticas.

Como usar

  1. Selecione um trecho de código no editor (Visual Studio Code, Cursor, etc.).
  2. Acione a habilidade através do comando /bc-fix ou pelo atalho configurado.
  3. Revise as correções sugeridas e aplique-as.

Requisitos

  • Claude Code CLI ou integração com editor compatível.
  • Código-fonte em linguagens suportadas (por exemplo, Python, JavaScript, TypeScript).

Comportamento

A habilidade inspeciona o código em busca de:

  • Pré-condições não verificadas.
  • Pós-condições que podem ser violadas.
  • Invariantes de estado quebrados.

Para cada violação, a habilidade gera um patch ou sugestão de correção.

Exemplo

def dividir(a, b):
    # Violação: b não pode ser zero, mas não há verificação
    return a / b

Após aplicar a habilidade:

def dividir(a, b):
    if b == 0:
        raise ValueError("Divisor não pode ser zero")
    return a / b

Suporte

Para mais informações, consulte a documentação oficial do Behavioral Contracts.

Habilidades Relacionadas