# QWED Verification

> Open-source (Apache-2.0) verification layer for LLM and AI-agent output. It checks claims with deterministic engines (SymPy, Z3, SQLGlot, Python AST analysis, CrossHair) and fails closed: a claim it cannot check is never reported as verified. Each result has a status (VERIFIED, UNVERIFIABLE, BLOCKED) and a separate admission decision (ADMIT, BLOCKED).

QWED has 13 engines and 9 policy guards. Proof engines (Math, Logic, SQL, Code, Schema) can return VERIFIED with a proof_ref; the Symbolic engine (CrossHair) searches for counterexamples and returns UNVERIFIABLE or BLOCKED; policy guards block or hold; advisory engines (Fact, Graph, Image, Reasoning, Consensus) add signals for review.

## Documentation
- [Documentation](https://docs.qwedai.com): installation, engines, API reference, guides
- [Engine tiers](https://docs.qwedai.com/engines/overview): what each tier may claim
- [README](https://github.com/QWED-AI/qwed-verification/blob/main/README.md): install, first run, limits
- [Verification Context v1.0](https://github.com/QWED-AI/qwed-verification/tree/main/spec): the result record format
- [Security policy](https://github.com/QWED-AI/qwed-verification/blob/main/SECURITY.md) and [advisories](https://github.com/QWED-AI/qwed-verification/security/advisories)
- [Website](https://qwedai.com), with Markdown copies of every page listed in https://qwedai.com/llms.txt

## Related packages
- [qwed-finance](https://github.com/QWED-AI/qwed-finance): banking and payment calculations, ISO 20022
- [qwed-legal](https://github.com/QWED-AI/qwed-legal): deadlines, amounts and legal claims
- [qwed-tax](https://github.com/QWED-AI/qwed-tax): tax compliance and withholding
- [qwed-infra](https://github.com/QWED-AI/qwed-infra): Terraform, IAM and cloud cost
- [qwed-open-responses](https://github.com/QWED-AI/qwed-open-responses): agent tool calls, before they run
- [qwed-mcp](https://github.com/QWED-AI/qwed-mcp): MCP server for MCP clients
- [qwed-a2a](https://github.com/QWED-AI/qwed-a2a): agent-to-agent messages
- [qwed-ucp](https://github.com/QWED-AI/qwed-ucp): Universal Commerce Protocol transactions
