MCP server · source category: Security
Chimera-Protocol/csl-core
Deterministic AI safety policy engine with Z3 formal verification. Write, verify, and enforce machine-verifiable constrain…
Deterministic AI safety policy engine with Z3 formal verification. Write, verify, and enforce machine-verifiable constraints for AI agents via MCP.
Record
- Type
- MCP server
- Category
- Security & Identity
- Authentication
- No authentication
- Pricing
- Free
- Documentation
- https://github.com/Chimera-Protocol/csl-core
- Repository
- https://github.com/Chimera-Protocol/csl-core
Fields are reproduced from the source registry as-is. “Unknown” means the source did not describe the field — it is not an inference. See the methodology for how records are collected and normalised.
Similar MCP servers in Security & Identity
- 123Ergo/unphurl-mcp URL intelligence for AI agents. 13 tools for security signals and data quality: redirect behaviour, brand impersonation detection,…
- 13bm/GhidraMCP MCP server for integrating Ghidra with AI assistants. This plugin enables binary analysis, providing tools for function inspectio…
- aeoess/agent-passport-mcp Agent identity, scoped delegation, and governance: issue passports, build and verify narrowing-only delegation chains, enfor…
- agentward-ai/agentward Permission control plane for AI agents. MCP proxy that enforces least-privilege YAML policies on every tool call, classifi…
- aggrete/aggrete Policy proxy that governs what AI assistants can reach and do: refuses forbidden tool calls before the upstream is contacted, wi…
- AIops-tools/Compliance-AIops A meta-tool that reads other AIops tools' audit trails and seals framework-mapped (HIPAA/PCI-DSS/SOC 2/GDPR) hash-chained evidence…
Browse all Security & Identity MCP servers.