TEKMOVELA Open - the public Apache-2.0 face of TEKMOVELA, the AxisVela engineering-assurance control plane for autonomous systems. Contracts, SDKs, docs and examples that turn intent into verification contracts, governed harnesses, reproducible testing, evidence, and release gates.
open-source sdk json-schema verification control-plane autonomous-systems engineering-assurance tekmovela axisvela
-
Updated
Oct 23, 2026 - Go