Show HN: Semcheck – AI Tool for checking implementation follows spec

Summary

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 specification files (e.g., https://www.rfc-editor.org/rfc/rfc7946.txt ) ) Easy setup with semcheck -init Example Output Installation Prerequisites Go 1.24 or newer golangci-lint: (optional, for development) Just (optional, for development) Install go install github.com/rejot-dev/semcheck@latest Configuration Semcheck requires a configuration file. Generate one interactively using the -init flag: semcheck -init This command creates a semcheck.yaml file. Edit this file to suit your project. Example configuration: version : " 1.0 " provider : openai # Options: openai, anthropic, gemini, ollama, cerebras model : gpt-4.1 api_key : ${OPENAI_API_KEY} timeout : 30 fail_on_issues : true rules : - name : function-spec-compliance description : Check if functions match their specifications enabled : true files : include : - " **/*.go " exclude : - " *_test.go " specs : - path : " docs/api.md " # Remote specs are supported - path : " https://example.com/spec.md " fail_on : " error " Usage Basic Usage # Create a config file semcheck -init # Check all spec/implementation rules semcheck # Pass specific files that need checking, # semcheck uses the rules to determine which comparisons need to be made semcheck spec.md # Both implementation and specification files can be passed semcheck impl.go # Run on staged files (pre-commit) semcheck -pre-commit # Use a custom config file semcheck -config my-config.yaml file1.go # You can also use double dash syntax for flags semcheck --config my-config.yaml # S...