Semcheck is a verification tool that employs large language models (LLMs) to ensure that code implementation aligns with specified requirements. Users can define semantic rules that detail how code must conform to specifications, allowing Semcheck to perform the comparison automatically before committing or merging code changes. It is non-intrusive, requiring no alterations to existing code or specifications. Semcheck supports various models including OpenAI, Anthropic, and Gemini, and can handle remote specification files. To set it up, users generate a configuration file using the -init flag, which can be customized for project needs. Semcheck allows users to check individual files, run pre-commit checks, and easily manage rules linking specifications with implementations. An included Justfile facilitates common developmental tasks. Notably, Semcheck can validate its own specifications by running checks on itself, ensuring reliability and effectiveness in its performance.
Share
Read more