Chimera-Protocol/csl-core
π π π πͺ π§ - Deterministic AI safety policy engine with Z3 formal verification. Write, verify, and enforce machine-verifiable constraints for AI agents via MCP.
FAILED
Install
uvx csl-core
π π π πͺ π§ - Deterministic AI safety policy engine with Z3 formal verification. Write, verify, and enforce machine-verifiable constraints for AI agents via MCP.
uvx csl-core