Skip to content
#

cedar

Here are 107 public repositories matching this topic...

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.

  • Updated Aug 24, 2026
  • Rust

Add this topic to your repo

To associate your repository with the cedar topic, visit your repo's landing page and select "manage topics."

Learn more