Theorem wants to stop AI-written bugs before they ship — and just raised $6M to do it

Theorem raises $6 million to use AI-powered formal verification to mathematically prove AI-generated code is safe before it's deployed in critical systems.
GitHub

A Helm plugin that uses Common Expression Language (CEL) to validate values. Instead of using JSON Schema in values.schema.json, you can write more expressive validation rules ...

--values-file, -v Values files to validate (comma-separated or multiple flags) Defaults to values.yaml --rules-file, -r Rules files to validate against (comma-separated or multiple flags) Defaults to ...