Non-Intrusive
No changes required to existing code or specification files. Drop it into any project and start checking immediately.
Semcheck
Use AI to verify that your implementation matches your specification. Define semantic rules and let Semcheck handle the comparison.
Why Semcheck?
Semcheck bridges the gap between specification and implementation, ensuring your code does what it's supposed to do.
AI-Powered
Leverages large language models to understand both specifications and implementations, finding discrepancies humans might miss.
Remote Specs
Supports remote specification files like RFCs, allowing you to check against official standards and documentation.
CI/CD Ready
Perfect for pre-commit hooks and CI pipelines. Catch semantic issues before they reach production.
Bring Your Own Model
Choose from multiple AI providers to power your semantic checking
OpenAI
Anthropic
Google Gemini
Cerebras
Ollama (Local)
Quick Start
Get up and running in seconds
# Install Semcheck
go install github.com/rejot-dev/semcheck@latest
# Create configuration
semcheck -init
# Run your first check
semcheck
Semcheck will guide you through the setup process and help you define your first semantic rules.