QWED-AI/qwed-verification
AISecOps (AI Security Operations) framework for deterministic verification of AI systems. QWED verifies LLM outputs using math, logic, and symbolic execution — creating an auditable trust boundary for agentic AI systems. Not generation. Verification.
GitHub repository with 57 stars and 9 forks.
Language: Python
Topics: ai-safety, ai-security, code-security, deterministic-ai, formal-verification, hallucination-detection, sympy, z3-prover, llm-verification, ai-accuracy