QWED
Open-source verification infrastructure for LLMs and AI agents.
QWED sits between your model and production and checks every claim with deterministic engines. Each one comes back verified,unverifiable orblocked. Nothing unproven passes.
pip install qwedPython 3.10+npm install @qwed-ai/sdkTypeScriptgo get github.com/QWED-AI/qwed-verification/sdk-goGocargo add qwedRustdocker pull qwedai/qwed-verificationContainerWhere QWED sits#
In your own stack, between the model and whatever acts on its output. As a library, a CLI or a self-hosted container.
How the engine tiers work- 1 · YOUR APPSends a prompt
- 2 · ANY LLMOpenAI, Anthropic, Gemini, NVIDIA, local
- 3 · QWEDRoutes each claim to an engine
- MathSymPy
- LogicZ3
- SQLSQLGlot
- CodeAST
- Schema
- StatsPandera
- SymbolicCrossHair
Shell commands, config, RAG sources, MCP tools, data exfiltration and more.
Image, Graph, Reasoning, Consensus, Fact. Heuristic results never count as verified.
Why QWED#
Deterministic
Claims are checked by solvers and parsers such as SymPy, Z3 and SQLGlot. The model translates; it never judges its own answer.
Fail-closed
Verified needs a proof. Anything that cannot be proven comes back unverifiable or blocked, never verified.
Evidence you can keep
Every verdict can be exported as a Verification Context v1.0 document: schema-validated and tamper-evident.
Runs where you run
Python, TypeScript, Go and Rust SDKs, a CLI and a Docker image. Use it with OpenAI, Anthropic, Gemini, NVIDIA or a local model.
From install to first verdict#
qwed init checks the engines, runs a short verification suite, and sets up your model provider.
$ pip install qwed$ qwed init[QWED] Initializing verification engines... [ok] SymPy math engine ready [ok] Z3 logic engine ready [ok] AST code engine ready [ok] SQLGlot sql engine readyRunning verification suite... [ok] 2+2=5 -> BLOCKED [ok] SELECT * WHERE 1=1 -> BLOCKED [ok] eval(user_input) -> BLOCKEDAll engines verified. QWED is operational.
Ecosystem#
All repositories| Package | Verifies | Latest | Install | Links |
|---|---|---|---|---|
| qwed | Verification engines and agent security guards | 7.2.2 | pip install qwed | Docs · Repo |
| qwed-finance | Banking, payments and financial calculations | 3.0.1 | pip install qwed-finance | Docs · Repo |
| qwed-legal | Deadlines, amounts and legal claims | 0.5.1 | pip install qwed-legal | Docs · Repo |
| qwed-tax | Tax compliance and withholding | 0.2.1 | pip install qwed-tax | Docs · Repo |
| qwed-infra | Terraform, IAM and cloud cost | 0.3.0 | pip install qwed-infra | Docs · Repo |
| qwed-open-responses | Agent tool calls, checked before they run | 0.6.1 | pip install qwed-open-responses | Docs · Repo |
| qwed-mcp | MCP server for any MCP client | 0.2.2 | pip install qwed-mcp | Docs · Repo |
| qwed-a2a | Agent-to-agent verification | 0.3.0 | pip install qwed-a2a | Docs · Repo |
| qwed-ucp | Universal Commerce Protocol transactions | 0.3.0 | pip install qwed-ucp | Docs · Repo |
Latest releases#
All releasesOpen by default#
- SecurityPrivate reporting, a published policy, and every advisory with its fix.
- SpecsVerification Context v1.0 and the QWED protocol documents.
- RoadmapWhat is being built next, tracked in public.
- DiscussionsQuestions, ideas and show-and-tell.
- ContributeGood first issues across the QWED repositories.
- GovernanceHow decisions are made, and the code of conduct.
