Semcheck: Verifica el código contra las especificaciones usando LLMs

Semcheck es una herramienta que utiliza modelos de lenguaje grandes (LLMs) para verificar que la implementación de tu código coincide con su especificación. Define reglas semánticas que describen cómo tu código debe alinearse con la especificación, y Semcheck se encarga de la comparación. Úsalo como una comprobación final antes de confirmar o fusionar el código. Semcheck admite varios proveedores de LLM, incluidos OpenAI, Anthropic y otros, así como modelos locales y archivos de especificación remotos. Es fácil de configurar y ofrece una interfaz de línea de comandos completa, lo que facilita su integración en flujos de trabajo de CI/CD. Incluso se usa a sí mismo para verificar su propia especificación.