Install Csl Core in Claude Code
This server doesn't publish a package to a registry, so follow the install steps in its README. Once it runs, register it with Claude Code:
claude mcp add csl-core -- <command to start the server>Frequently asked questions
What does the Csl Core MCP server do?
Deterministic AI safety policy engine with Z3 formal verification: write, verify and enforce machine-verifiable constraints for AI agents.
Is the Csl Core MCP server free?
Yes, most likely. Open source and no paid account or API key is mentioned in the listing. Check the provider for current pricing.
Does Csl Core run locally or remotely?
Local. Runs on your machine (stdio). You install it with npx, uvx, Docker or from source.
How do I add Csl Core to Claude Code?
Follow the install steps in the project's README at https://github.com/Chimera-Protocol/csl-core, then register it with "claude mcp add".
More security & identity MCP servers
View allCTRLRun Operator
CTRLRun/ctrlrun
Execution safety for agent actions: a YAML-policy gateway that allows, holds or denies tool calls, plus an approval queue and hash-chained receipts.
Prism Scanner
aidongise-cell/prism-scanner
Security scanner for AI Agent skills, plugins, and MCP servers with A-F grading.
Intruder
intruder-io/intruder-mcp
Access Intruder to identify, understand and fix security vulnerabilities in your infrastructure.
Cinema4d
kumoproductions/mcp-cinema4d
MCP server for Cinema 4D — entity CRUD, parameter-level access, batched undo, security controls.
Warden
icoretech/warden-mcp
Manage Bitwarden and Vaultwarden vaults via the bw CLI: search, create, edit and organize logins, notes, cards, identities, SSH keys, folders and Sends.
Bitwarden Public API and Secrets Manager (unofficial)
mguttmann/the-real-bitwarden-mcp
Unofficial MCP server for the Bitwarden Public API and Secrets Manager, self-hosted or cloud.