v0.3.0 Alpha - MCP Server (Claude / Cursor / VS Code)

[akarlaraytu]

CSL-Core now ships a built-in Model Context Protocol server. Write, verify, and enforce AI safety policies directly from your AI assistant.

New Features

• MCP Server with 4 tools:
  • verify_policy — Z3 formal verification via MCP
  • simulate_policy — Runtime enforcement against JSON inputs
  • explain_policy — Human-readable policy summary
  • scaffold_policy — Generate CSL templates from plain English
• 5 bundled example policies as MCP resources (hello_world, age_verification, banking_guard, agent_tool_guard, dao_treasury_guard)
• CSL syntax reference prompt for AI assistants
• Optional dependency: pip install "csl-core[mcp]"

Setup (Claude Desktop / Cursor)

{
  "mcpServers": {
    "csl-core": {
      "command": "uv",
      "args": ["run", "--with", "csl-core[mcp]", "csl-core-mcp"]
    }
  }
}

Upgrade

pip install csl-core --upgrade --pre

---

This discussion was created from the release v0.3.0 Alpha - MCP Server (Claude / Cursor / VS Code).