Deterministic AI safety policy engine with Z3 formal verification. Write, verify, and enforce machine-verifiable constraints for AI agents via MCP.
Partial audit · 3/5 dimensions · Audit v1.1-github-security · today · imported from awesome mcp
Az eszközök részletei hamarosan elérhetők. Ez a szerver 0 eszközzel rendelkezik.
Deterministic AI safety policy engine with Z3 formal verification. Write, verify, and enforce machine-verifiable constraints for AI agents via MCP.
Yes, csl-core is completely free to use with no usage limits on the free tier.
csl-core is listed under the security category in the AgentForge MCP registry.
csl-core has a current uptime of 99.9% with an average response time of 0ms.
To connect csl-core, click the "Connect Agent" button on this page to get the configuration snippet. Add it to your MCP client (Claude Desktop, Cursor, or any MCP-compatible tool). Your AI agent will then have access to all of csl-core's tools via the Model Context Protocol.