Semcheck: Verifique o código com base em especificações usando LLMs
2025-07-05
Semcheck é uma ferramenta que utiliza modelos de linguagem grandes (LLMs) para verificar se sua implementação de código corresponde à sua especificação. Defina regras semânticas que descrevem como seu código deve se alinhar à especificação, e o Semcheck cuida da comparação. Use-o como uma verificação final antes de confirmar ou mesclar o código. O Semcheck suporta vários fornecedores de LLM, incluindo OpenAI, Anthropic e outros, além de modelos locais e arquivos de especificação remotos. É fácil de configurar e oferece uma interface de linha de comando completa, facilitando a integração em fluxos de trabalho de CI/CD. Ele até mesmo usa a si mesmo para verificar sua própria especificação.