decern-kernel
Deterministic authorization + tamper-evident audit for AI agents, humans, and workloads — one principal type, safety invariants machine-checked by an SMT solver (cvc5), every decision independently verifiable offline. Pure Rust.
View on Github
Activity
- Latest release
- 1w ago
- Total releases
- 6
- Cadence
- ~8 days
- Last 12 months
- 6
Reach
- Downloads
- 69
- Stars
- 13
Details
- License
- Apache-2.0
- First release
- Aug 02, 2026
Releases
| Version | Released | |
|---|---|---|
0.6.0
minor
| ||
0.5.0
minor
| ||
0.4.0
minor
| ||
0.3.1
minor
| ||
0.2.0
minor
| ||
0.1.1
initial
|