Semcheck : Vérification du code par rapport aux spécifications à l’aide de modèles de langage volumineux
2025-07-05
Semcheck est un outil qui utilise des modèles de langage volumineux (LLM) pour vérifier que votre implémentation de code correspond à sa spécification. Définissez des règles sémantiques décrivant comment votre code doit s’aligner sur la spécification, et Semcheck gère la comparaison. Utilisez-le comme vérification finale avant de valider ou de fusionner le code. Semcheck prend en charge divers fournisseurs de LLM, notamment OpenAI, Anthropic, etc., ainsi que des modèles locaux et des fichiers de spécification distants. Il est facile à configurer et offre une interface de ligne de commande complète, ce qui facilite son intégration dans les flux de travail CI/CD. Il s’auto-vérifie même pour garantir sa propre spécification.