The deterministic constraint layer for autonomous AI agents. Enforce mathematically proven rules at runtime, block prompt injections, and generate formal audit logs.
python z3 compliance formal-verification policy-engine ai-agents audit-trail autogen guardrails langchain llamaindex crewai langgraph eu-ai-act csl-core project-chimera
-
Updated
Mar 26, 2026 - Python