← Back to MCP servers
Chimera-Protocol/csl-core
Deterministic AI safety policy engine with Z3 formal verification. Write, verify, and enforce machine-verifiable constra
What is Csl Core MCP Server?
Csl Core is a developer-tools MCP server that exposes everyday dev operations — docs lookup, scripts, logs, API calls — to AI assistants, letting Claude or Cursor take part in your development workflow.
Also available in 中文.