Show HN: Semcheck – AI Tool for checking implementation follows spec
Semcheck 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. Use it as a final check before committing or merging code. Features 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