decern-store
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
- 3
- Cadence
- ~6 days
- Last 12 months
- 3
Reach
- Downloads
- 78
- Stars
- 12
Details
- License
- Apache-2.0
- First release
- Aug 02, 2026
Releases
| Version | Released | |
|---|---|---|
0.3.1
minor
| ||
0.2.0
minor
| ||
0.1.1
initial
|