Chimera-Protocol/csl-core

v0.3.0 Breaking

This release includes breaking changes for platform teams planning a safe upgrade.

Published 3mo MCP Developer Tools

View tool

✓ No known CVEs patched

Read the diff → Tool health → What is this tool? →

✓ No known CVEs patched in this version

Topics

agent-framework ai-governance ai-safety deterministic-ai formal-verification hallucination-prevention

+10 more

langchain llm-safety mcp mcp-server neuro-symbolic policy-as-code state-machine tla-plus tla-plus-model-checking z3

Summary

AI summary

CSL-Core graduates from alpha to beta with no breaking changes.

Full changelog

CSL-Core exits alpha. This release is identical in functionality to 0.3.0a1; what changed is confidence. CSL-Core is now running in production inside Project Chimera v1.7.0, enforcing formally verified safety policies across two live domains: e-commerce optimization and crypto trading.

Every policy is Z3-verified at startup. Every agent action is evaluated deterministically at runtime. Zero violations slipped through during integration testing and live operation.

That's enough to drop the alpha label.

What's New

🏭 Production-Proven

CSL-Core now powers all safety policies in Project Chimera's Adaptive Strategy Lab, Colosseum multi-agent arena, and quant trading backtest suite.
Both ecommerce_guard.csl and quant_guard.csl are Z3-verified at startup with sub-millisecond runtime enforcement.
Drop-in migration from 850+ lines of hardcoded Python rules to 30-line .csl policy files — zero breaking changes in Chimera's API.

📖 README Rewritten

1,257 → 351 lines. Removed walls of text. Kept what matters: Quick Start, Benchmark, LangChain integration, CLI, MCP Server.
New Benchmark section with real data from the Four Frontiers adversarial attack study — prompt-based rules vs CSL-Core enforcement across GPT-4.1, GPT-4o, Claude Sonnet 4, and Gemini 2.0 Flash.
New "Used in Production" section linking to Project Chimera.

🔧 Fixes

All project URLs updated to Chimera-Protocol GitHub organization.
Benchmark scripts cleaned up: renamed run files, updated result JSONs.

📦 Packaging

Version: 0.3.0a1 → 0.3.0
PyPI classifier: Development Status :: 3 - Alpha → 4 - Beta
pip install csl-core now resolves to stable without --pre flag.

Install

pip install csl-core

No --pre flag needed anymore. That's the whole point.

What Didn't Change

The engine is the same. Parser, compiler, Z3 verifier, runtime, CLI, MCP server, LangChain plugin — all identical to 0.3.0a1. This release is about status, not features. The code earned its promotion by surviving production.

Full Changelog: v0.3.0-alpha...v0.3.0

Project Chimera v1.7.0 Release: The Great Unification

View diff on GitHub

Weekly OSS security release digest.

The CVE patches and breaking changes that affected production tools this week. One email, every Sunday.

No spam, unsubscribe anytime.

Share this release

Share on X Share on Bluesky

Track Chimera-Protocol/csl-core

Get notified when new releases ship.

About 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.

All releases →