Get the latest tech news
Show HN: Semcheck – AI Tool for checking implementation follows spec
Semantic Checker. Contribute to rejot-dev/semcheck development by creating an account on GitHub.
Semcheck is a tool that uses large language models to verify that your implementation matches your specification. Define semantic rules to describe how your code should align with your specification, then let Semcheck handle the comparison. Non-intrusive: no changes required to existing code or specification files Bring Your Own Model: supports OpenAI, Anthropic, Gemini, Cerebras and Ollama (local) Supports remote specification files (e.g., https://www.rfc-editor.org/rfc/rfc7946.txt) Easy setup with semcheck -init
Or read this on Hacker News
