Semcheck: Verify Code Against Specs Using LLMs
2025-07-05
Semcheck is a tool that leverages large language models (LLMs) to verify that your code implementation matches its specification. Define semantic rules describing how your code should align with the specification, and Semcheck handles the comparison. Use it as a final check before committing or merging code. Semcheck supports various LLM providers, including OpenAI, Anthropic, and more, as well as local models and remote specification files. It's easy to set up and offers a rich command-line interface, making it easily integrable into CI/CD workflows. It even uses itself to verify its own specification.