What is csl-core?
csl-core is a MCP server by Chimera-Protocol that deterministic AI safety policy engine with Z3 formal verification: write, verify and enforce machine-verifiable constraints for AI agents. It is listed under Security and has 27 GitHub stars.
| Type | Mcp server |
|---|---|
| Author | Chimera-Protocol |
| Repository | Chimera-Protocol/csl-core |
| Popularity | 27 GitHub stars |
| Category | Security |
| Security | Low risk (84/100) |
| Rank | #1,148 of 4,418 MCP servers; #52 in Security |
| License | Apache-2.0 |
| Last commit | 2026-10-05 |
| Stars this week | +1 |
| Runs | Locally |
| Language | Python |
| Platforms | macOS, Windows, Linux |
Is csl-core safe to install?
csl-core scores 84/100 on the MCPMods security check: Low risk. Things to review: can take actions such as send, write or deploy. It passed 4 of 6 checks.
MCP server results come from listing signals: who publishes it, where your data goes and what it can do. The code itself is not scanned yet.
| Check | Result |
|---|---|
| Community-built server | Note |
| Runs on your machine only | Pass |
| No credentials mentioned | Pass |
| Can take actions such as send, write or deploy | Review |
| No code execution | Pass |
| Source on GitHub | Pass |
How do I install csl-core?
- Find the launch command. The README says how the server starts (npx, uvx, docker or a remote URL) and which API keys it needs.
https://github.com/Chimera-Protocol/csl-core
- Add it to Claude Code. Replace the part after -- with the command from the README. Remote servers use --transport http with a URL.
claude mcp add csl-core -- <command from README> claude mcp add --transport http csl-core <server-url>
- Check it connected. This lists your MCP servers and their status.
claude mcp list
Or ask Claude to set it up
Paste this into Claude Code and it installs csl-core for you:
Add the "csl-core" MCP server from https://github.com/Chimera-Protocol/csl-core to Claude Code. Read its README for the launch command and any API keys I need, run claude mcp add, then check that it connects.