Depo ayrıntısı

anivar/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.

Rust Apache-2.0 02 Ağustos 2026 son push 01 Kasım 2026 3 fork

access-control accountability agent-authorization agentic agents ai-agents audit audit-log authorization authz cedar formal-verification non-human-identity policy-as-code rust self-hosted smt tamper-evident

GitHub'da aç Site

Yıldız

13+0 · 24 gün

Commit · 28g

—

son 28 günde

Yazar · 28g

—

farklı katkıcı

Detaylı değerlendirme

Bu repo için detaylı değerlendirme henüz yapılmadı. Analiz, Ayarlar'daki uyum profilini hesaba katarak "bu işime yarar mı" sorusunu cevaplıyor. Bir kez çalışır; günlük koşular buna dokunmaz. Saatlik sınır var — bir kaynaktan en fazla 3 analiz.