$git clone https://github.com/Chimera-Protocol/csl-core
Installs into the current project.
Summary
Deterministic policy language for AI agents. Z3 + TLA+ dual-engine formal verification. Runtime enforcement <1ms.