Chimera-Protocol/csl-core
Deterministic policy language for AI agents. Z3 + TLA+ dual-engine formal verification. Runtime enforcement <1ms.
Cerbos is an open-core authorization management platform for authorizing every identity and governing every action across applications, gateways, workloads, and AI agents.
Appears on
Quick read
Latest capture 2026-10-05 03:12
Archive status reflects the last catalog sync, not a maintenance assessment. Check recent releases, issue responses, and fit for your project with the repository shortlisting checklist.
0 paths
Agent instructions and tool configuration found in this repository.
No config files detected.
5 observed captures since 2026-06-22. Observed captures are shown by default.
Stars from first capture +142
Observed captures only
All tracked data
Observed snapshots
Observed snapshots
Nearest indexed repositories by embedding similarity.
Deterministic policy language for AI agents. Z3 + TLA+ dual-engine formal verification. Runtime enforcement <1ms.
Webhook server that evaluates WebAssembly policies to validate Kubernetes requests
Policy and data administration, distribution, and real-time updates on top of Policy Agents (OPA, Cedar, ...)
A Declarative Update Policy Engine
Fast, small, and fully autonomous AI personal assistant infrastructure, any OS, any platform — deploy anywhere, swap anything 🦀
AI Code Review with Full Control Over Model Choice and Costs.