csl-core
MCP Server Low risk
Deterministic policy language for AI agents. Z3 + TLA+ dual-engine formal verification. Runtime enforcement <1ms.
How to install
No unified install command; see the repository README.
Recommendation signals
43 Tool quality · Based on stars, downloads, maintenance, security and docs
– User interest · Adjusted by in-site views, install copies and download clicks
43 Overall
0views
0install copies
0download clicks
0outbound clicks
Meta
- License
- Apache-2.0
- Language
- Python
- GitHub stars
- 16
- mo. downloads
- –
- Last push
- 2026-05-31
- 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 Featured
Score93
fastmcp
punkpeye/fastmcp
A TypeScript framework for building MCP servers.
MCP Server Featured
Score92
DesktopCommanderMCP
wonderwhy-er/DesktopCommanderMCP
This is MCP server for Claude that gives it terminal control, file system search and diff file editing capabilities
MCP Server Featured
Score86
brightdata-mcp
luminati-io/brightdata-mcp
A powerful Model Context Protocol (MCP) server that provides an all-in-one solution for public web access.
MCP Server Featured
Score85
ios-simulator-mcp
joshuayoes/ios-simulator-mcp
MCP server for interacting with the iOS simulator