Semcheck: Code-Überprüfung anhand von Spezifikationen mit LLMs

Semcheck ist ein Tool, das Large Language Models (LLMs) verwendet, um zu überprüfen, ob Ihre Code-Implementierung mit ihren Spezifikationen übereinstimmt. Definieren Sie semantische Regeln, die beschreiben, wie Ihr Code mit der Spezifikation übereinstimmen soll, und Semcheck übernimmt den Vergleich. Verwenden Sie es als letzte Überprüfung, bevor Sie Code committen oder mergen. Semcheck unterstützt verschiedene LLM-Anbieter, darunter OpenAI, Anthropic und andere, sowie lokale Modelle und Remote-Spezifikationsdateien. Es ist einfach einzurichten und bietet eine umfassende Befehlszeilenschnittstelle, die die Integration in CI/CD-Workflows vereinfacht. Es überprüft sogar seine eigene Spezifikation.