CSL-Core (Chimera Specification Language) is a deterministic safety layer for AI agents. Write rules in .csl files, verify them mathematically with Z3, enforce them at runtime — outside the model. The LLM never sees the rules. It simply cannot violate them. Originally built for Project Chimera, now open-source for any AI system. This doesn't work. LLMs can be prompt-injected, rules are probabilist
Add this skill
npx mdskills install Chimera-Protocol/csl-coreDeterministic AI safety layer with Z3 formal verification, CLI tools, and framework integrations for policy enforcement
No forks yet. Be the first to fork and customize this skill.
Visual fork tree and fork list coming soon.