A
licenseA
qualityB
maintenanceDeterministic AI safety policy engine with Z3 formal verification. Write, verify, simulate, and enforce machine-verifiable safety constraints for AI agents. Completely outside the LLM.
6
16
Apache 2.0
Matching MCP tools:
Matching MCP Connectors:
com.travel-code
io.github.meltingpixelsai
io.github.OjasKord
io.github.lazymac2x