Open-source AI verification infrastructure for deterministic verification of LLM outputs, tool calls, code, schemas, and agent state before production execution.
python machine-learning sympy smt-solver formal-verification ai-safety ai-security hallucination code-security ai-accuracy enterprise-ai llm-safety hallucination-detection z3-prover fail-closed deterministic-ai llm-verification deterministic-verification verification-context diagnostic-result
-
Updated
Sep 3, 2026 - Python