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.
- Score
- 80.4482 signals
- Evidence
- 16 stars · 12 forks
- Last commit
- as last read from GitHub; most reads are from 2 Sep 2026 or later
- Listed
Install
No one-command install. Set it up from its source.
Alternatives · MCPs
- ariffazil-arifos51 stars · 6 forks84.259
- neus23 stars · 7 forks79.139
- alexgoller-illumio12 stars · 10 forks77.567
What it is
Deterministic AI safety policy engine with Z3 formal verification. Write, verify, and enforce machine-verifiable constraints for AI agents via MCP.
When to use it
When an agent needs the "Security" capability this MCP server exposes.
Source
Migrated from the awesome-mcp-servers navigation directory (category: Security). See https://github.com/Chimera-Protocol/csl-core.