CSL-Core
Rank #7768glama/Chimera-Protocol/csl-core
Deterministic AI safety policy engine with Z3 formal verification. Write, verify, simulate, and enforce machine-verifiable safety constraints for AI agents. Completely outside the LLM.
CSL-Core is a Model Context Protocol (MCP) server published by Chimera-Protocol. It ranks #7768 of 58,832 servers tracked on MCP Toplist, and its repository has 14 GitHub stars. CSL-Core is listed on Glama, and ships as a single rolling release with no explicit version metadata. It was first listed on Feb 20, 2026.
Ranks ahead of 51,064 of 58,832 servers on MCP Toplist.
Use CSL-Core
CSL-Core doesn’t publish a machine-readable install config. Follow the setup instructions in its repository ↗, or open one of its registry listings above.
Listed on 1 registry
Chimera-Protocol
Not versioned
This server is published through a registry that does not expose explicit version metadata, and no GitHub release tags were found on the linked repository. The listing tracks a single rolling release.
Frequently asked questions
- What is CSL-Core?
- Deterministic AI safety policy engine with Z3 formal verification. Write, verify, simulate, and enforce machine-verifiable safety constraints for AI agents. Completely outside the LLM.
- Who maintains CSL-Core?
- CSL-Core is maintained by Chimera-Protocol, which publishes 1 MCP server (0 total versions) tracked on MCP Toplist.
- Is CSL-Core an official MCP server?
- CSL-Core is not on the Official MCP Registry. It is listed on Glama.
- How many versions does CSL-Core have?
- CSL-Core ships as a single rolling release with no explicit version metadata.
- Where can I find the source code for CSL-Core?
- The source code for CSL-Core is hosted at github.com/Chimera-Protocol/csl-core.