Make executionpredictable
Governed execution for systems that act — constraints first, proof preserved.
Govern action in real environments
Start with one workflow, then expand across domains.
Devices and actuators
Execute actuator commands inside fail-closed constraints with deterministic enforcement.
- Gate checks
- Policy windows
- Proof records
Data egress and pipelines
Constrain outbound effects and preserve proof across pipeline execution.
Chain of custody
Track procedural provenance with cryptographic trace end to end.
Transactions and approvals
Bind payment side-effects to bounded proof before commit.
Incidents and response
Contain incidents rapidly with explicit quarantine and verified recovery steps.
Procedures and authority
Map approvals into runtime policy with durable audit evidence.
Reproducibility locks
Protect parameters and outputs with replayable constraints for reproducible runs.
Deploy anywhere
Run YAI alongside your systems — enforce contracts before external effects.
Sidecar / Gateway
Attach to services and pipelines.Preflight actions before network, storage, or actuators.
See patterns →On-prem / Air-gapped
Keep data and proofs local.Pinned registries, deterministic runs, evidence bundles on disk.
Read deployment guide →Embedded / SDK
Integrate at the edge.C/C++/Rust SDK, minimal footprint, fail-closed enforcement.
Browse SDK →
Integrates where actions happen
YAI wraps pipelines, scripts, and device-side execution with verifiable proof surfaces.
Start building in minutes
# yai-cli quick usage (repo: yai-cli/README.md)
./dist/bin/yai root status
./dist/bin/yai root ping
./dist/bin/yai kernel ws list
./dist/bin/yai engine --ws dev status
# governance gates (repo: yai/tools/bin)
tools/bin/yai-verify list
tools/bin/yai-verify core
tools/bin/yai-proof-check