csl-core
MCP Server Tools & Capabilities Low risk
Deterministic policy language for AI agents. Z3 + TLA+ dual-engine formal verification. Runtime enforcement <1ms.
面向AI代理的确定性策略语言。Z3 + TLA+双引擎形式化验证。运行时执行<1毫秒。
How to install
No unified install command; see the repository README.
Recommendation signals
48 Tool quality · Based on stars, downloads, maintenance, security and docs
– User interest · Adjusted by in-site views, install copies and download clicks
48 Overall
0views
0unique visitors
0install copies
0download clicks
0outbound clicks
Meta
- License
- Apache-2.0
- Language
- Python
- GitHub stars
- 17
- mo. downloads
- –
- Last push
- 2026-09-07
- Created
- 2026-02-06
Links
Basic safety check
- Findings
- curated 收录但无 npm 包/安装命令
- Sources
- curated:punkpeye/awesome-mcp-servers
- Topics
- agent-framework, ai-governance, ai-safety, deterministic-ai, formal-verification, hallucination-prevention, langchain, llm-safety, mcp, mcp-server, neuro-symbolic, policy-as-code, state-machine, tla-plus, tla-plus-model-checking, z3
Related plugins
MCP Server
Score91
mobile-mcp
mobile-next/mobile-mcp
Model Context Protocol Server for Mobile Automation and Scraping (iOS, Android, Emulators, Simulators and Real Devices)
MCP Server
Score88
davinci-resolve-mcp
samuelgursky/davinci-resolve-mcp
MCP server integration for DaVinci Resolve Studio
MCP Server
Score83
ssh-mcp
tufantunc/ssh-mcp
MCP server exposing SSH control for Linux servers via Model Context Protocol.