Enterprise DNAEnterprise DNA

MCP Servers

Chimera-Protocol/csl-core

Deterministic policy language for AI agents. Z3 + TLA+ dual-engine formal verification. Runtime enforcement <1ms.

Visit site ↗

Our verdict

Not reviewed yet

We have not reviewed Chimera-Protocol/csl-core yet

No one at Enterprise DNA has checked this listing against its sources. The description comes from public listings gathered automatically. Any fact below shows where it came from and when it was last checked.

How we review records

From the listing

About Chimera-Protocol/csl-core

CSL-core is a deterministic policy language for AI agents, using Z3 and TLA+ dual-engine formal verification to enforce constraints at runtime. It checks agent actions against predefined policies with sub-millisecond latency, ensuring behavior stays within safe bounds.

Best for

Developers building safety-critical AI agents that need formal runtime policy enforcement

Use cases

  • Define safety guardrails for autonomous agent actions
  • Verify agent behavior against formal specifications at runtime
  • Enforce compliance policies in multi-agent systems

Notes

14 stars on GitHub. Last updated 2026-05-31. Licensed Apache-2.0.

Pros

  • Dual-engine verification (Z3 + TLA+) provides strong formal guarantees
  • Sub-millisecond runtime enforcement enables real-time use
  • Deterministic policy language reduces ambiguity in agent behavior

Cons

  • Small community (14 stars) means limited support and documentation
  • Requires understanding of formal methods (Z3, TLA+) to use effectively
  • Python-only implementation may limit integration with non-Python stacks

Key facts

What we have checked

Not checked yet. Dated facts such as prices, releases and repository activity appear here once we have confirmed them from a source.

How to use

How to set it up

As the listing publishes it. We have not run this install.

Install

pip install csl-core

Tools exposed

  • verify_policy
  • simulate_policy
  • explain_policy
  • scaffold_policy

Clients the listing names (not checked here)

Claude Desktop, Cursor, VS Code

Install

Add Chimera-Protocol/csl-core to your client

Not verified yet

No install recipe yet. We write one for Claude Code, Claude Desktop, Cursor, VS Code, Codex and ChatGPT when the server is in the official MCP registry with a package or remote address we can use.

Until then, follow the project's own README, or the setup the listing publishes under How to set it up.

Works with

What Chimera-Protocol/csl-core connects to

No confirmed connections yet. A product appears here when the server's registry name, repo, homepage or name ties it to that product, and a client appears when we have an install recipe for it.

Sources

Where this comes from

No sources recorded yet. Each source we check is listed here with the date we checked it.

A source shows what was published when we checked it. It does not certify security, performance or a working installation. Read our method.

Changelog

What changed

No changes recorded yet. Releases, price changes and deprecations appear here, with their dates, once we track them for this record.

Free 27-page guide

Get the free Developer’s Field Guide

A 27-page field guide to the AI coding workflow with Claude. Claude Code, MCP servers, the prompt patterns that work, and what to delegate. Free.

Enter your work email. We send it straight over, plus a few short notes worth knowing. Unsubscribe any time.

No spam. Unsubscribe any time.

← Back to MCP ServersSubmit your own entry →