csl-core MCP Server
Chimera-Protocol/csl-core
Are you the maintainer of Chimera-Protocol/csl-core? Claim this listing →
Deterministic policy language for AI agents. Z3 + TLA+ dual-engine formal verification. Runtime enforcement <1ms.
Add AgentRank to Claude Code Discover and compare tools like Chimera-Protocol/csl-core — your AI finds the right one automatically
Get API Access → claude mcp add agentrank -- npx -y agentrank-mcp-server Overview
Chimera-Protocol/csl-core is a Python tool licensed under Apache-2.0. Deterministic policy language for AI agents. Z3 + TLA+ dual-engine formal verification. Runtime enforcement <1ms.
Ranked #4596 out of 24840 indexed tools.
Ecosystem
Python Apache-2.0
Score Breakdown
Stars 15% 17
17 stars → early stage
Freshness 25% 17d ago
Last commit 17d ago → recently updated
Issue Health 25% 50%
14/28 issues closed → decent issue management
Contributors 10% 6
6 contributors → small team
Dependents 25% 0
No dependents → no downstream usage
npm Downloads N/A
PyPI Downloads N/A
Forks 13
Description Good
License Apache-2.0
Weights: Freshness 20% · Issue Health 20% · Dependents 22% · Stars 10% · Contributors 8% · How we score →
How to Improve
Description low impact
Dependents medium impact
Badge all embed codes →
[](https://agentrank-ai.com/tool/Chimera-Protocol--csl-core/?utm_source=badge&utm_medium=readme&utm_campaign=agentrank_badge) <a href="https://agentrank-ai.com/tool/Chimera-Protocol--csl-core/?utm_source=badge&utm_medium=readme&utm_campaign=agentrank_badge"><img src="https://agentrank-ai.com/api/badge/tool/Chimera-Protocol--csl-core" alt="AgentRank"></a> Matched Queries
Get the weekly AgentRank digest
Top movers, new tools, ecosystem insights — straight to your inbox.