Skip to main content
QWED v4.0.0 Sentinel Edition is live with Agentic Security Guards and Process Determinism. See all updates in the changelog.

​
What is QWED?

QWED (Query With Evidence & Determinism) is a trust boundary for AI systems:
  • LLMs can translate user intent into structured claims.
  • QWED verifies those claims with deterministic engines before execution or response.
  • You get proof-backed outcomes instead of probability-only confidence.
“Do not trust generated output. Verify it.”

​
When to use QWED first

Math and Logic

Verify equations, constraints, and logical claims before they reach users.

Code and SQL

Catch unsafe patterns, injection risks, and structural errors before execution.

Agent Tool Calls

Inspect actions and payloads before external systems are touched.

High-Stakes Workflows

Add deterministic checkpoints for finance, legal, tax, and regulated systems.

​
Quick Start (5 minutes)

pip install qwed

# Verify a simple claim
qwed verify "Is 2+2=5?"
# -> CORRECTED: The answer is 4

# Verify logic constraints
qwed verify-logic "(AND (GT x 5) (LT y 10))"
# -> SAT: {x=6, y=9}
1

Install and configure

Follow Installation and set your provider with LLM Configuration.
2

Run first verification

Use Quick Start to validate math, logic, code, and SQL.
3

Integrate into production flow

Use Integration Getting Started and Production Deployment.

​
Verification engines at a glance

Math

SymPy-based symbolic verification.

Logic

Z3 SAT/SMT verification with models.

Code

AST and symbolic checks for risky behavior.

SQL

Parser-backed SQL safety and validation.

Schema

Type and shape validation for structured outputs.

Taint

Data-flow tracking for untrusted inputs.

See all engines

Explore core, analysis, and specialized engines.

​
What’s new in v4.0.0

Agentic Security Guards

RAGGuard, ExfiltrationGuard, MCP Poison Guard, and additional guard hardening.
ProcessVerifier for milestone-driven deterministic validation and compliance reporting.
Critical hardening updates across execution safety, parser boundaries, and protocol checks.
  1. Core Concepts
  2. Architecture Overview
  3. SDKs Overview
  4. API Overview
  5. Integration Guide