Pricing
Free to evaluate. Commercial for production.
Numerical verification for heterogeneous compute — prove a candidate array agrees with a reference to the ULP, or get told exactly where and why it diverges.
List prices we're growing into: SemanticCompute is pre-adoption and single-author, so early deals land at the low end and grow with proof. Prices exclude VAT, which is calculated at checkout.
Evaluation
Anyone, to try it — including in production.
then choose a paid tier
- Full library — four lowering targets (three executed in-core + the hardware-verified CUDA runner)
- Parity doctor + failure lab
- CLI + MCP server
- macOS (signed, notarised) & Linux
Solo production
Individual / solo commercial production use.
production licence, billed monthly
- Everything in Evaluation
- Production licence + updates
- Email support
- Licence key issued on purchase
Regulated & teams
Regulated / safety-critical work and larger teams.
custom — invoiced, priced by risk reduction
- SLA + priority family requests
- Parity-methodology + audit-trail artefacts
- Indemnification, multiple seats
- Private terms; source review under NDA
Production use requires a licence and must be disclosed. Every build carries a self-identifying licence marker; see the component NOTICE and EULA.
Team / hosted (shared CI, cross-device parity) is not priced yet — register interest.
Prices are indicative and subject to change. This page is not a contract; the EULA governs.