decern-cli
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
- 93
- Stars
- 13
Details
- License
- Apache-2.0
- First release
- Aug 02, 2026
Releases