decern-store-postgres
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
- 39
- Stars
- 12
Details
- License
- Apache-2.0
- First release
- Aug 02, 2026
Releases