Skip to content
#

cedar

Here are 93 public repositories matching this topic...

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 3, 2026
  • Rust

Improve this page

Add a description, image, and links to the cedar topic page so that developers can more easily learn about it.

Curate this topic

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