Chimera-Protocol/csl-core
Deterministic policy language for AI agents. Z3 + TLA+ dual-engine formal verification. Runtime enforcement <1ms.
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.
Appears on
Quick read
Latest capture 2026-07-25 03:05
0 paths
Agent instructions and tool configuration found in this repository.
No config files detected.
3 observed captures since 2026-06-22. Charts use measured snapshots only.
Stars from first capture +35
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.
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
ByteRover CLI (brv) - The portable memory layer for autonomous coding agents (formerly Cipher)