Installation
Quick Start
As of v5.0.0, the
status field may return INCONCLUSIVE, BLOCKED, or UNKNOWN in addition to VERIFIED and ERROR. Natural-language math queries return INCONCLUSIVE when the inner engine succeeds, because the LLM translation step is non-deterministic. See the trust boundary documentation for details.Async Client
Methods
verify(query)
Auto-detect and verify any claim.verify_math(expression)
Verify mathematical expressions.verify_logic(query)
Verify logical constraints (QWED-Logic DSL).verify_code(code, language)
Check code for security vulnerabilities.verify_sql(query, schema_ddl, dialect)
Validate SQL queries against a schema.verify_fact(claim, context)
New in v4.0.0
verify_stats(query, file_path)
New in v4.0.0
verify_consensus(query, mode, min_confidence)
New in v4.0.0
| Parameter | Type | Default | Description |
|---|---|---|---|
query | str | — | Claim to verify |
mode | str | "single" | single, high, or maximum |
min_confidence | float | 0.8 | Minimum confidence threshold |
verify_image(image_path, claim)
New in v4.0.0
verify_batch(items)
Verify multiple items at once.CLI
Guards
The SDK includes security guards for protecting AI agent pipelines:Environment Variables
| Variable | Description |
|---|---|
QWED_API_KEY | API key |
QWED_BASE_URL | API base URL |