Skip to content

Chimera-Protocol/csl-core

v0.2.0-alpha Feature

This release adds 2 notable features for engineering teams evaluating rollout.

Published 3mo MCP Developer Tools
✓ 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

Core verification logic refactored into a modular engines directory.

Full changelog

v0.2.0 Alpha - Engine Refactoring

This release introduces significant architectural improvements to the core verification logic and enhances the CLI experience.

Architecture
Modular Engine Structure: The core verification logic has been decoupled and moved into a dedicated engines directory. This major refactor improves maintainability and paves the way for supporting alternative solvers/backends in the future.

CLI & Developer Experience
Community Engagement: Added a subtle, non-intrusive footer to verify and simulate commands. It encourages users to star the repository upon successful execution, helping to grow the ecosystem.

Upgrade

pip install csl-core --upgrade --pre
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.

Sign up free

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 →

Related context

Beta — feedback welcome: [email protected]