Back to MCP Servers
Csl Core
Deterministic AI safety policy engine with Z3 formal verification. Write, verify, and enforce machine-verifiable constraints for AI agents via MCP.
securityaiagent
Installation
npx -y csl-coreConfiguration
{
"mcpServers": {
"csl-core": {
"command": "npx",
"args": ["-y", "csl-core"]
}
}
}How to use
- Run the installation command above (if needed)
- Open your Claude Code settings file (~/.claude/settings.json)
- Add the configuration to the mcpServers section
- Restart Claude Code to apply changes