Discover the toolingbehind modern intelligence
The operating system for AI infrastructure discovery. Search a live map of MCP servers, AI agents, LLM tools, automation systems, and developer infrastructure.
csl-core
Deterministic policy language for AI agents. Z3 + TLA+ dual-engine formal verification. Runtime enforcement <1ms.
14stars
13forks
Python
agent-frameworkai-governanceai-safetydeterministic-aiformal-verificationhallucination-preventionlangchainllm-safetymcpmcp-serverneuro-symbolicpolicy-as-code
Quality signals
ActiveNo testsNo CIThin docsNo licenseNew
InstallMCPRun via uvx (Python)
Universal installANY TOOL
$ npx skillcity@latest Chimera-Protocol/csl-coreAuto-detects the skill or MCP server in this repo and installs it for Claude Code, Codex, Cursor, Cline, OpenCode, Gemini CLI, Anti-Gravity, OpenClaw and Hermes.
Requires Node.js 18+ (ships with npx).
Or install manually
uvx csl-core
MCP Configuration
Add this to your claude_desktop_config.json
{
"mcpServers": {
"csl-core": {
"command": "uvx",
"args": [
"csl-core"
]
}
}
}Loading README…
Ask a simulated agent to run this skill. It loads the real SKILL.md and reasons over your task with NVIDIA.
csl-core — sandboxAI sandbox
Pick a quick prompt below or type your own — watch the agent execute this skill step by step.
guest@skillcity:~$Try a prompt