Chimera-Protocol/csl-core
Deterministic policy language for AI agents. Z3 + TLA+ dual-engine formal verification. Runtime enforcement <1ms.
Repository profile
Cerbos is the open core, language-agnostic, scalable authorization solution that makes user permissions and authorization simple to implement and manage by writing context-aware access control policies for your application resources.
Tracked growth, recent movement, and commit velocity from stored repository snapshots.
Latest capture 2026-06-22 13:18
1 capture since 2026-06-22
Stars from baseline 0
All tracked data
Frameworks, package managers, ecosystems, and dependency manifests found during catalog scans.
Scanned 2026-06-22 13:18
go.mod
go ecosystem,
276 dependencies
go.sum
go ecosystem,
363 dependencies
npm/package.json
javascript ecosystem,
1 dependency
tools/go.mod
go ecosystem,
114 dependencies
tools/go.sum
go ecosystem,
149 dependencies
api/genpb/go.mod
go ecosystem,
10 dependencies
hack/loadtest/go.mod
go ecosystem,
52 dependencies
api/genpb/go.sum
go ecosystem,
23 dependencies
Searchable topics, generated tags, and stack labels that explain where this repository fits.
Agent instructions and tool configuration paths found in the repository tree.
Nearest indexed repositories by embedding similarity.
Deterministic policy language for AI agents. Z3 + TLA+ dual-engine formal verification. Runtime enforcement <1ms.
The open agent control plane. Govern autonomous AI agents with pre-execution policy enforcement, approval gates, and audit trails. Works with LangChain, CrewAI, MCP, and any framework.
A Declarative Update Policy Engine
Fast, small, and fully autonomous AI personal assistant infrastructure, any OS, any platform — deploy anywhere, swap anything 🦀
A lightweight Node.js private proxy registry
An open-source Agent-first Identity and Access Management (IAM) /LLM MCP & agent gateway and auth server with web UI supporting OpenClaw, MCP, OAuth, OIDC, SAML, CAS, LDAP, SCIM, WebAuthn, TOTP, MFA, Face ID, Google Workspace, Azure AD