qwedai/qwed-verification repository overview

⁠QWED Verification

Neurosymbolic AI Verification Layer
Verify LLM outputs with deterministic engines (SymPy, Z3, SQLGlot).

⁠Documentation⁠ • Website⁠

⁠🚀 About QWED

QWED is an open-source Neurosymbolic AI Verification Layer designed to make Large Language Models (LLMs) production-ready. It acts as a deterministic "Judge" that validates LLM outputs against mathematical proofs, logic constraints, SQL schemas, and code security rules before they reach your users.

• The Problem: LLMs are probabilistic—they hallucinate math, invent facts, and generate insecure code.
• The Solution: QWED accepts LLM outputs only if they can be verified by a deterministic solver (SymPy, Z3, AST, CrossHair).

⁠✨ Key Features

• 11 Verification Engines:
  • 🧮 Math: Symbolic math verification via SymPy.
  • ⚖️ Logic: Formal logic proof via Z3 Prover.
  • 🗄️ SQL: Schema validation and injection prevention via SQLGlot.
  • 🛡️ Code: AST analysis and symbolic execution.
  • 🔐 System: Shell command blocking and secret scanning.
  • Plus: Schema, Facts, Stats, Reasoning, Image, Consensus.
• Model Agnostic: Works with OpenAI, Anthropic, Gemini, Llama, Mistral, and local models (Ollama).
• Zero-Trust Architecture: 100% deterministic verification running locally in your container.
• Enterprise-Ready: PII masking, Sentry error tracking, audit logs, and async processing.

⁠📦 Quick Start

⁠1. Pull the Image

docker pull qwedai/qwed-verification:latest

⁠2. Run the Container

docker run -p 8000:8000 qwedai/qwed-verification:latest

The API will be available at http://localhost:8000.

⁠3. Verify an LLM Output

curl -X POST "http://localhost:8000/verify" \
-H "Content-Type: application/json" \
-d '{
  "engine": "math",
  "query": "What is the integral of x^2?",
  "llm_output": "3x"
}'

Response:

{
  "verified": false,
  "explanation": "Incorrect. The integral of x^2 is x^3/3.",
  "correction": "x^3/3"
}

⁠🔗 Project Resources

• Source Code: GitHub Repository⁠
• Documentation: docs.qwedai.com⁠
• Website: qwedai.com⁠
• Issue Tracker: GitHub Issues⁠

⁠🤝 Contributing to QWED

We welcome community contributions.

Ways to help:

• Fix bugs
• Add verification engines
• Improve documentation
• Expand SDK support

Resources:

• Contributing Guide: CONTRIBUTING.md⁠
• Code of Conduct: CODE_OF_CONDUCT.md⁠
• Good First Issues: View Issues⁠

⁠🌍 The QWED Ecosystem

QWED is not just a verifier — it is a protocol layer for AI safety.

Specialized Packages:

• qwed-finance⁠ → Banking, loans, ISO 20022 compliance
• qwed-legal⁠ → Contract & citation verification
• qwed-tax⁠ → Tax compliance & withholding validation
• qwed-infra⁠ → Infrastructure & IaC verification
• qwed-ucp⁠ → Commerce & transaction verification

License: Apache 2.0⁠
Maintained by: QWED AI