Csl Core

Deterministic AI safety layer with Z3 formal verification, CLI tools, and framework integrations for policy enforcement

• +Provides formal verification using Z3 theorem prover for mathematical guarantees
• +Includes comprehensive CLI tooling (verify, simulate, repl) for policy development
• +Demonstrates real production use with concrete benchmarks showing 100% attack blocking
• -Declares full filesystem, shell, and network permissions without clear justification for all
• -Complex architecture may have steep learning curve for policy language syntax