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.
- Category
- Security
- Language
- Python
- License
- Apache-2.0
- Stars
- 8
- Source
- https://github.com/Chimera-Protocol/csl-core