Skip to main content
Learn QWED basics in 5 minutes.

​
1. Basic verification

from qwed_sdk import QWEDClient

client = QWEDClient(api_key="qwed_your_key")

# Verify a math claim
result = client.verify("What is 15% of 200?")
print(result.verified)  # True
print(result.status)    # "VERIFIED"

​
2. Math verification

Verify mathematical expressions exactly: 
# Check equations
result = client.verify_math("x**2 + 2*x + 1 = (x+1)**2")
print(result.verified)  # True (identity verified)

# Catch errors
result = client.verify_math("2 + 2 = 5")
print(result.verified)  # False
print(result.message)   # "Not equal: difference is 1"

​
3. Logic verification

Verify logical constraints using Z3 SAT solver: 
# QWED-Logic DSL
result = client.verify_logic("(AND (GT x 5) (LT y 10))")
print(result.status)  # "SAT"
print(result.model)   # {"x": 6, "y": 9}

# Unsatisfiable constraints
result = client.verify_logic("(AND (GT x 10) (LT x 5))")
print(result.status)  # "UNSAT"

​
4. Code security

Check code for vulnerabilities: 
dangerous_code = """
import os
os.system('rm -rf /')
"""

result = client.verify_code(dangerous_code, language="python")
print(result.verified)  # False
print(result.status)    # "BLOCKED"
for vuln in result.vulnerabilities:
    print(f"- {vuln.severity}: {vuln.message}")

​
5. SQL validation

Validate SQL queries: 
result = client.verify_sql(
    query="SELECT * FROM users WHERE id = 1",
    schema="CREATE TABLE users (id INT, name TEXT)"
)
print(result.verified)  # True

# Detect injection
result = client.verify_sql("SELECT * FROM users; DROP TABLE users; --")
print(result.status)  # "BLOCKED"

​
6. Batch verification

Verify multiple claims at once: 
from qwed_sdk import VerificationType

results = client.verify_batch([
    {"query": "2+2=4", "type": VerificationType.MATH},
    {"query": "3*3=9", "type": VerificationType.MATH},
    {"query": "(AND (GT x 5))", "type": VerificationType.LOGIC},
])

print(f"Success rate: {results.summary.success_rate}%")

​
7. CLI usage

Run the onboarding wizard once to set up engines, configure your provider, and generate an API key: 
# One-time setup — engines, provider, and API key bootstrap
qwed init
After init, verify your setup and confirm all engines work: 
# System health check — engines, provider, server, database
qwed doctor

# 12 deterministic tests — all must pass before production
qwed test
Then verify from the command line: 
qwed verify "Is 2+2=5?"

# Verify with a specific provider
qwed verify "derivative of x^2" --provider openai
For CI pipelines, use --non-interactive to skip prompts: 
qwed init --non-interactive --provider openai --api-key "$OPENAI_API_KEY" --skip-tests
You only need to run qwed init once. After that, QWED reads from .env. Re-run only when changing providers or rotating keys.

​
Next steps