#

qwed-ai

Here are 7 public repositories matching this topic...

qwed-learning

QWED-AI / qwed-learning

🎓 Free course on deterministic AI verification. Learn how to mathematically prove LLM output correctness using formal methods. From theory to production workflows with QWED-AI.

Updated Jan 24, 2026
Python

qwed-legal

QWED-AI / qwed-legal

🏛️ Verification guards for legal contracts - Date calculations, clause consistency, liability verification

python law legal ai verification z3 compliance contracts legaltech deadlines hallucination liability llm llm-verification qwed-ai qwed

Updated Jan 27, 2026
Python

qwed-infra

QWED-AI / qwed-infra

Deterministic Verification for Infrastructure as Code (IaC). Prove security of Terraform, Kubernetes, and AWS IAM policies using Z3 Solvers and Graph Theory to prevent misconfiguration and cost overruns.

python aws security terraform graph-theory infrastructure-as-code compliance ai-safety finops z3-solver deterministic-ai qwed-ai qwed

Updated Jan 24, 2026
Python

qwed-mcp

QWED-AI / qwed-mcp

MCP Server for QWED Verification - Use QWED verification tools in Claude Desktop, VS Code, and any MCP client

python mcp verification z3 sympy formal-verification ai-safety claude llm anthropic model-context-protocol qwed-ai qwed

Updated Jan 28, 2026
Python

qwed-open-responses

QWED-AI / qwed-open-responses

Verification guards for OpenAI Responses API - Verify AI agent outputs before execution

python middleware express typescript verification openai agents ai-safety pii-detection llm langchain prompt-injection llamaindex tool-calling structured-outputs qwed-ai qwed

Updated Jan 30, 2026
Python

qwed-ucp

QWED-AI / qwed-ucp

Verification for Universal Commerce Protocol (UCP) transactions - Catch AI math errors before payment

ucp python-package transaction-verification fastapi-middleware ai-verification ai-commerce llm-verification qwed-ai universal-commerce-protocol commerce-verification checkout-verification deterministic-verification qwed

Updated Jan 27, 2026
Python

qwed-tax

QWED-AI / qwed-tax

Deterministic Verification for Payroll, Tax, and Withholding Compliance using Z3 and Decimal Math. Stop AI from hallucinating tax liability.

python irs tax fintech decimal payroll compliance ai-safety determinism withholding z3-solver qwed-ai qwed payroll-api

Updated Jan 30, 2026
Python

Improve this page

Add a description, image, and links to the qwed-ai topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the qwed-ai topic, visit your repo's landing page and select "manage topics."