MCP Directory

Chimera-Protocol/csl-core

GitHub
Developer Tools

Deterministic AI safety policy engine with Z3 formal verification. Write, verify, and enforce machine-verifiable constraints for AI agents via MCP.

Overview

Direct install

Run the underlying MCP server directly — without Agent-CoreX routing.

npx -y csl-core

Use with Agent-CoreX

Agent-CoreX intelligently routes which tools from Chimera-Protocol/csl-core your AI agent actually needs per request — reducing token usage and cost.

agent-corex.json

{
  "mcpServers": {
    "csl-core": {
      "command": "npx",
      "args": [
        "-y",
        "csl-core"
      ]
    }
  }
}

Route Chimera-Protocol/csl-core intelligently

Connect in 2 minutes. Only pay for the tools your agent actually uses.

Get started free Browse all servers

More Developer Tools servers

Git

Git repository operations and history inspection

Sequential Thinking

Support for step-by-step reasoning with explicit thought processes

GitHub

Access GitHub repositories, issues, and pull requests

Installation Guide

Use with Agent-CoreX

Recommended: intelligent tool routing, lower costs

uvx agent-corex mcp add csl-core

Agent-CoreX selects only the tools your agent needs, cutting token usage by up to 60%.

Direct Install

Use Chimera-Protocol/csl-core directly without routing

npx -y csl-core

New to Agent-CoreX? View setup guide →

Chimera-Protocol/csl-core MCP Server — Agent-CoreX