Skip to content

QWED-AI/docs

Folders and files

NameName
Last commit message
Last commit date

Latest commit

Β 

History

545 Commits
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
QWED Logo

QWED Documentation

Official Documentation for the QWED Verification Ecosystem

Deterministic verification infrastructure for AI systems, agents, finance, legal, and compliance.

Docs Powered by Mintlify License GitHub Developer Program


Overview

This repository contains the public documentation for QWED β€” a deterministic verification ecosystem that proves, validates, and enforces trust boundaries for AI systems, agents, infrastructure, and computational workflows.

The documentation covers:

Area Description
QWED Verification Protocol Core verification engines (Math, Logic, SQL, Code, Facts) and the Untrusted Translator architecture
AI & Agent Security Agentic security guards β€” MCP Poison, RAG, Exfiltration, Process Determinism
Finance Guards NPV/IRR verification, loan amortization, compound interest, ISO 20022, currency safety
Legal Guards Deadline verification, clause consistency, citation validation, jurisdiction checks, statute of limitations
SDK References Python, TypeScript, Go, and Rust SDK documentation and API references
Architecture Deterministic verification design, fail-closed philosophy, verification boundaries
Deployment Docker, Kubernetes, CI/CD integration, and operational guidance

Documentation Site

πŸ“– docs.qwedai.com


The QWED Ecosystem

Package Description PyPI npm Repo
qwed Core verification + security guards qwed @qwed-ai/sdk qwed-verification
qwed-finance 🏦 Banking, loans, NPV, ISO 20022 qwed-finance @qwed-ai/finance qwed-finance
qwed-legal βš–οΈ Contracts, deadlines, citations, jurisdiction qwed-legal @qwed-ai/legal qwed-legal
qwed-tax πŸ’Έ Tax compliance & withholding verification qwed-tax β€” qwed-tax
qwed-infra ☁️ IaC verification (Terraform, IAM, Cost) qwed-infra β€” qwed-infra
qwed-ucp πŸ›’ E-commerce cart/transaction verification qwed-ucp β€” qwed-ucp
qwed-mcp πŸ”Œ Claude Desktop MCP integration qwed-mcp β€” qwed-mcp
open-responses πŸ€– OpenAI Responses API + QWED guards qwed-open-responses β€” qwed-open-responses

Development

Prerequisites

Install Mintlify CLI

npm i -g mintlify

Run local development server

mintlify dev

Preview locally at: http://localhost:3000


Repository Structure

/
β”œβ”€β”€ legal/                # QWED-Legal guard documentation
β”œβ”€β”€ finance/              # QWED-Finance guard documentation
β”œβ”€β”€ tax/                  # QWED-Tax guard documentation
β”œβ”€β”€ sdks/                 # SDK reference (Python, TypeScript, Go, Rust)
β”œβ”€β”€ open-responses/       # OpenAI Responses API integration docs
β”œβ”€β”€ specs/                # Verification specification documents
β”œβ”€β”€ snippets/             # Shared reusable MDX snippets
β”œβ”€β”€ images/               # Static assets
β”œβ”€β”€ changelog.mdx         # Release changelog
β”œβ”€β”€ architecture.mdx      # System architecture
β”œβ”€β”€ faq.mdx               # Frequently asked questions
β”œβ”€β”€ mint.json             # Mintlify configuration
β”œβ”€β”€ LICENSE               # Apache License 2.0
└── README.md

Philosophy

QWED is built around deterministic verification principles:

  • Fail closed by default β€” unknown states are never treated as safe
  • Verification requires explicit evidence β€” no silent assumptions, no fabricated defaults
  • Heuristics must not silently become proof β€” LLM outputs are always marked HEURISTIC when symbolic verification is not possible
  • Auditability and reproducibility are first-class β€” every verification is deterministic and inspectable
  • The LLM is the Untrusted Translator β€” it converts natural language to formal DSLs; symbolic engines are the Trusted Verifiers

The documentation follows the same philosophy:

  • Precise over promotional
  • Explicit over ambiguous
  • Operational over hype

Probabilistic systems should not be trusted with deterministic tasks. If it can't be verified, it doesn't ship.


Contributing

Contributions are welcome for:

  • πŸ“ Documentation fixes and typo corrections
  • πŸ”§ Broken code examples
  • πŸ’‘ Clarification requests
  • πŸ› Inaccurate guard behavior descriptions

Please open an issue or submit a pull request. For contribution guidelines, see the main QWED Contributing Guide.


Security

If you discover a security issue related to QWED documentation, examples, or verification workflows, please follow the repository security policy.


License

Apache License 2.0

Copyright 2025 QWED-AI

Licensed under the Apache License, Version 2.0 (the "License");
you may not use this file except in compliance with the License.
You may obtain a copy of the License at

    http://www.apache.org/licenses/LICENSE-2.0

About

Documentation and architecture hub for the QWED deterministic AI verification ecosystem. Guides, security boundaries, verification semantics, fail-closed policies, and integration workflows for QWED infrastructure and guards.

Topics

Resources

License

Contributing

Security policy

Stars

Watchers

Forks

Sponsor this project

 

Contributors

Languages

Generated from mintlify/starter