Release history

Chimera-Protocol/csl-core releases

Deterministic AI safety policy engine with Z3 formal verification. Write, verify, and enforce machine-verifiable constraints for AI agents via MCP.

Back to tool Latest release

All releases

5 shown

No immediate action

v0.4.0 New feature 1mo

TLA⁺ model checking

Open

No immediate action

v0.3.0 Breaking risk 3mo

Alpha → Beta transition

Open

No immediate action

v0.3.0-alpha New feature 3mo

MCP Server integration

Open

No immediate action

v0.2.0-alpha New feature 3mo

Modular engine structure

Open

No immediate action

v0.1.0-alpha New feature 3mo

CSL-Core Alpha

Open