| Csl Core | MCP | |
|---|---|---|
| Description | Deterministic AI safety policy engine with Z3 formal verification. Write, verify, and enforce machine-verifiable constraints for AI agents via MCP. | A MCP server for using Semgrep to scan code for security vulnerabilities. |
| Category | Security | Security |
| Language | Python | Python |
| License | Apache-2.0 | MIT |
| Stars | 8 | 647 |
| Website | https://runtime.chimera-protocol.com/ | https://mcp.semgrep.ai |