ShackleAICsl Core
by Chimera-Protocol · Security
Install to ToolCloud
One click. No local setup. Works with any MCP client.
Deterministic AI safety policy engine with Z3 formal verification. Write, verify, and enforce machine-verifiable constraints for AI agents via MCP.
aipythonsecurity