decern
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
- 4w ago
- Total releases
- 4
- Cadence
- ~5 days
- Last 12 months
- 4
Reach
- Stars
- 12
Details
- License
- Apache-2.0
- First release
- Aug 02, 2026
Releases
| Version | Released | |
|---|---|---|
0.3.1
patch
| ||
0.3.0
minor
| ||
0.2.0
minor
| ||
0.1.1
initial
|