QWED
Change the repository type filter
All
Repositories list
11 repositories
- AISecOps (AI Security Operations) framework for deterministic verification of AI systems. QWED verifies LLM outputs using math, logic, and symbolic execution —…
qwed-ucp
PublicVerification for Universal Commerce Protocol (UCP) transactions - Catch AI math errors before paymentqwed-finance
PublicDeterministic verification middleware for banking and financial AI. NPV, IRR, loan amortization, and interest calculations with QWED precision.qwed-tax
Publicqwed-open-responses
PublicVerification guards for OpenAI Responses API - Verify AI agent outputs before executionqwed-infra
PublicDeterministic Verification for Infrastructure as Code (IaC). Prove security of Terraform, Kubernetes, and AWS IAM policies using Z3 Solvers and Graph Theory to …qwed-a2a
Public- 🎓 Free course on deterministic AI verification. Learn how to mathematically prove LLM output correctness using formal methods. From theory to production workflo…
.github
Public
ProTip! When viewing an organization's repositories, you can use the
props. filter to filter by custom property.