# QWED Documentation

> Official documentation for QWED. Learn deterministic verification for LLMs and AI agents using formal methods, symbolic execution, and policy guards.

## Docs

- [QWED A2A architecture for agent verification](https://qwed-ai-mintlify-cfa51465.mintlify.site/a2a/architecture.md): Deep-dive into the QWED A2A interceptor pipeline: data flow, component relationships, verification sequence, and the zero-trust gateway design.
- [ES256 JWT crypto attestations for QWED A2A verdicts](https://qwed-ai-mintlify-cfa51465.mintlify.site/a2a/crypto-attestations.md): Sign and verify QWED A2A verification verdicts with persistent ES256 JWT attestations, JWKS key discovery, and fail-closed tamper detection.
- [QWED A2A deployment for zero-trust agent gateways](https://qwed-ai-mintlify-cfa51465.mintlify.site/a2a/deployment.md): Deploy the QWED A2A zero-trust FastAPI gateway with persistent ES256 signing keys, JWKS discovery, monitoring, and CI/CD integration.
- [Verification interceptor](https://qwed-ai-mintlify-cfa51465.mintlify.site/a2a/interceptor.md): How the QWED A2A verification interceptor pipeline works: schema validation, engine routing, verdict generation, and payload_type enforcement.
- [QWED A2A protocol](https://qwed-ai-mintlify-cfa51465.mintlify.site/a2a/overview.md): QWED A2A is a zero-trust interceptor for agent-to-agent communication that verifies every payload with cryptographic attestations before forwarding.
- [QWED A2A quick start for agent-to-agent verification](https://qwed-ai-mintlify-cfa51465.mintlify.site/a2a/quickstart.md): Install QWED A2A, configure a persistent signing key, and run your first zero-trust agent-to-agent verification in about five minutes.
- [Zero-trust boundary for A2A agent communication](https://qwed-ai-mintlify-cfa51465.mintlify.site/a2a/trust-boundary.md): Configure agent allowlists, blocklists, scoped and expiring trust grants, runtime revocation, and token-bucket rate limiting in QWED A2A.
- [AgentStateGuard](https://qwed-ai-mintlify-cfa51465.mintlify.site/advanced/agent-state-guard.md): Verify agent state payloads before any commit using JSON schema validation, transition rule enforcement, and governed atomic writes.
- [AI agent verification and security](https://qwed-ai-mintlify-cfa51465.mintlify.site/advanced/agent-verification.md): QWED provides AI agent security with pre-execution checks, policy enforcement, budget controls, and activity logging before agents execute actions.
- [Architecture diagrams](https://qwed-ai-mintlify-cfa51465.mintlify.site/advanced/architecture-diagrams.md): Reference architecture diagrams for QWED covering system topology, request lifecycle, trust boundaries, and multi-engine consensus verification flows.
- [Cryptographic attestations](https://qwed-ai-mintlify-cfa51465.mintlify.site/advanced/attestations.md): Generate and verify cryptographically signed JWT proofs of verification using ES256 signatures. Store attestations on-chain or verify independently.
- [QWED CLI reference](https://qwed-ai-mintlify-cfa51465.mintlify.site/advanced/cli.md): QWED command-line interface reference. Run qwed verify with provider options, model selection, and caching controls for terminal-based LLM verification.
- [QWED vs Guardrails, RAG, and RLHF for LLM verification](https://qwed-ai-mintlify-cfa51465.mintlify.site/advanced/comparison.md): Compare QWED against Guardrails, RAG, RLHF, and red teaming for LLM verification, AI agent security, and deterministic output validation.
- [QWED compliance guide](https://qwed-ai-mintlify-cfa51465.mintlify.site/advanced/compliance.md): Use QWED compliance features for SOC 2 preparation, GDPR adherence, HIPAA workflows, and cryptographic audit trail management via the API and SDKs.
- [QWED contributor onboarding guide (Phase 0: security)](https://qwed-ai-mintlify-cfa51465.mintlify.site/advanced/contributor-onboarding.md): New QWED contributor onboarding guide covering context reading, setup instructions, and initial task focused on building a SQL Firewall for AI agents.
- [QWED deployment guide](https://qwed-ai-mintlify-cfa51465.mintlify.site/advanced/deployment.md): Deploy QWED to production using Docker, Kubernetes, or bare metal. Includes environment variables reference, production checklist, and monitoring setup.
- [QWED design decisions](https://qwed-ai-mintlify-cfa51465.mintlify.site/advanced/design.md): QWED's core design philosophy and the Untrusted Translator pattern for deterministic verification of LLM outputs, agent actions, and reasoning traces.
- [Determinism guarantee](https://qwed-ai-mintlify-cfa51465.mintlify.site/advanced/determinism-guarantee.md): How QWED classifies verification engines by determinism level: fully symbolic, hybrid with LLM fallback, and heuristic, and what to trust in production.
- [Verification Diagnostics](https://qwed-ai-mintlify-cfa51465.mintlify.site/advanced/diagnostics.md): The 3-layer QWED DiagnosticResult model: agent-safe, developer, and proof diagnostics for structured verification output, debugging, and audit logs.
- [QWED GitHub Action](https://qwed-ai-mintlify-cfa51465.mintlify.site/advanced/github-action.md): Integrate QWED neurosymbolic verification into CI/CD pipelines. Verify math calculations, logical reasoning, and code patterns in pull requests automatically.
- [QWED Security GitHub App](https://qwed-ai-mintlify-cfa51465.mintlify.site/advanced/github-app.md): QWED Security GitHub App scans pull requests using formal solvers (SymPy, Z3) and AST analysis to mathematically prove code, math, and logic correctness.
- [QWED integration guide](https://qwed-ai-mintlify-cfa51465.mintlify.site/advanced/integration-guide.md): Step-by-step guide to integrating QWED verification with LangChain, CrewAI, and LlamaIndex, including code examples, tool setup, and callback wiring.
- [Integration overview](https://qwed-ai-mintlify-cfa51465.mintlify.site/advanced/integration-overview.md): Learn the correct QWED integration pattern: route LLM calls through QWED so DSL enforcement, guard evaluation, and verification receipts work end to end.
- [LLM verification with formal methods](https://qwed-ai-mintlify-cfa51465.mintlify.site/advanced/llm-verification.md): Learn how QWED uses formal methods, symbolic execution, SMT solving, and policy guards for LLM verification, LLM output validation, and AI reliability.
- [What is neurosymbolic AI?](https://qwed-ai-mintlify-cfa51465.mintlify.site/advanced/neurosymbolic.md): Neurosymbolic AI combines neural networks with symbolic reasoning like SymPy and Z3. Learn how QWED bridges both for deterministic, verified LLM outputs.
- [QWED + Ollama integration guide](https://qwed-ai-mintlify-cfa51465.mintlify.site/advanced/ollama.md): Run QWED with local LLMs via Ollama for private, no-cost verification using models like Llama 3, Mistral, and Phi on your own hardware.
- [QWED performance and cost benchmarks](https://qwed-ai-mintlify-cfa51465.mintlify.site/advanced/performance-benchmarks.md): QWED latency benchmarks for Math, Logic, Code, SQL, and other verification engines. Most verifications complete under 100ms with detailed cost comparisons.
- [PII masking — enterprise privacy protection](https://qwed-ai-mintlify-cfa51465.mintlify.site/advanced/pii-masking.md): Automatically detect and mask PII (emails, credit cards, SSNs) before sending data to LLMs. Critical for HIPAA, GDPR, and PCI-DSS compliance requirements.
- [QWEDLocal — client-side verification](https://qwed-ai-mintlify-cfa51465.mintlify.site/advanced/qwed-local.md): Run QWED verification directly in your code without a backend server. Local execution, model-agnostic support, and deterministic result caching.
- [QWED vs Guardrails AI](https://qwed-ai-mintlify-cfa51465.mintlify.site/advanced/qwed-vs-guardrails.md): Compare QWED and Guardrails AI for LLM verification, AI agent security, schema validation, and deterministic output checking with side-by-side examples.
- [QWED vs RAG for LLM verification](https://qwed-ai-mintlify-cfa51465.mintlify.site/advanced/qwed-vs-rag.md): Compare QWED deterministic verification with retrieval-augmented generation (RAG) for grounded responses, AI reliability, and high-stakes agent workflows.
- [Prompt injection defense and QWED security hardening](https://qwed-ai-mintlify-cfa51465.mintlify.site/advanced/security-hardening.md): Harden QWED for production with prompt injection defense, secret management, network security, authentication, and OWASP LLM Top 10 compliance.
- [Self-hosting](https://qwed-ai-mintlify-cfa51465.mintlify.site/advanced/self-hosting.md): Run QWED on your own infrastructure using Docker Compose. Quick start guide with services overview including API, PostgreSQL, Redis, and Grafana monitoring.
- [QWED verification: specification guide](https://qwed-ai-mintlify-cfa51465.mintlify.site/advanced/specification-guide.md): How QWED verifies LLM outputs against developer-written specifications, plus the golden rule and DSL patterns for reliable, production-ready verification.
- [StateGuard](https://qwed-ai-mintlify-cfa51465.mintlify.site/advanced/state-guard.md): Deterministic rollback for agentic file operations using shadow git snapshots. Automatically revert workspace changes when an AI agent execution fails.
- [Symbolic execution limits in QWED](https://qwed-ai-mintlify-cfa51465.mintlify.site/advanced/symbolic-limits.md): CrossHair symbolic execution limits in QWED — path explosion, deep loops, recursion, bounded model checking, and DiagnosticResult fail-closed semantics.
- [Why cloud LLMs for QWED verification?](https://qwed-ai-mintlify-cfa51465.mintlify.site/advanced/why-cloud-llms.md): Why cloud LLMs like GPT-4 and Claude outperform local models for QWED verification, with accuracy comparisons and production guidance.
- [Authentication](https://qwed-ai-mintlify-cfa51465.mintlify.site/api/authentication.md): Authenticate with the QWED API using API keys. Learn header and SDK authentication methods, key formats, environment variables, and security best practices.
- [QWED-Logic DSL reference](https://qwed-ai-mintlify-cfa51465.mintlify.site/api/dsl-reference.md): QWED-Logic S-expression DSL reference for logical constraints. Covers basic syntax, operators (AND, OR, NOT, IMPLIES), verified by the Z3 SMT solver.
- [API endpoints](https://qwed-ai-mintlify-cfa51465.mintlify.site/api/endpoints.md): Complete QWED API endpoint reference covering health checks, verification, batch operations, agent endpoints, observability, and admin routes.
- [Error codes](https://qwed-ai-mintlify-cfa51465.mintlify.site/api/errors.md): QWED API error code reference. Covers general errors (QWED-001 to QWED-007), verification errors (QWED-100+), and security errors with response format details.
- [API overview](https://qwed-ai-mintlify-cfa51465.mintlify.site/api/overview.md): QWED RESTful API reference. Learn about base URLs, authentication via API keys, core verification endpoints, and request formats for LLM output verification.
- [Rate limits](https://qwed-ai-mintlify-cfa51465.mintlify.site/api/rate-limits.md): QWED API rate limiting by plan tier. Learn about Free, Pro, and Enterprise quotas, rate limit headers, and how to handle 429 Too Many Requests responses.
- [Architecture overview](https://qwed-ai-mintlify-cfa51465.mintlify.site/architecture.md): QWED architecture for deterministic verification of LLM outputs and AI agent actions using formal methods, policy guards, and signed attestations.
- [Changelog](https://qwed-ai-mintlify-cfa51465.mintlify.site/changelog.md): Release notes for the QWED Protocol: version history, new guards, breaking changes, security fixes, and hardening across QWED engines.
- [Code engine](https://qwed-ai-mintlify-cfa51465.mintlify.site/engines/code.md): QWED Code engine reference: CrossHair symbolic execution for Python contracts, safety checks, and bounded model checking with DiagnosticResult output.
- [Consensus engine](https://qwed-ai-mintlify-cfa51465.mintlify.site/engines/consensus.md): QWED's Consensus Engine orchestrates multiple verification engines in parallel for high-confidence results with circuit breaker patterns and weighted consensus.
- [Fact engine](https://qwed-ai-mintlify-cfa51465.mintlify.site/engines/fact.md): The QWED Fact Engine verifies textual claims against source documents using TF-IDF similarity, keyword overlap, entity matching, and negation detection.
- [Graph fact engine](https://qwed-ai-mintlify-cfa51465.mintlify.site/engines/graph.md): QWED's Graph Fact Engine verifies claims against knowledge graphs by decomposing them into Subject-Predicate-Object triples and performing pathfinding queries.
- [Image engine](https://qwed-ai-mintlify-cfa51465.mintlify.site/engines/image.md): QWED's Image Engine verifies image claims using deterministic metadata extraction first, with multi-VLM consensus fallback for complex semantic claims.
- [Logic engine](https://qwed-ai-mintlify-cfa51465.mintlify.site/engines/logic.md): The QWED Logic Engine uses Microsoft's Z3 SMT solver for satisfiability checking, model finding, and proof generation from S-expression DSL constraints.
- [Math engine](https://qwed-ai-mintlify-cfa51465.mintlify.site/engines/math.md): QWED's Math Engine uses SymPy for symbolic verification of arithmetic, algebra, calculus, trigonometry, financial calculations, and statistics.
- [Verification engines](https://qwed-ai-mintlify-cfa51465.mintlify.site/engines/overview.md): QWED provides 11 specialized verification engines for math, logic, code, SQL, and more, each using deterministic methods first and LLMs only as fallback.
- [Process verifier](https://qwed-ai-mintlify-cfa51465.mintlify.site/engines/process.md): Verify the structural integrity and process adherence of LLM reasoning traces using IRAC pattern matching and milestone validation.
- [Reasoning engine](https://qwed-ai-mintlify-cfa51465.mintlify.site/engines/reasoning.md): The QWED Reasoning Engine validates LLM reasoning traces using chain-of-thought parsing, multi-provider consensus verification, and deterministic caching.
- [Schema verifier](https://qwed-ai-mintlify-cfa51465.mintlify.site/engines/schema.md): The QWED Schema Verifier combines Pydantic validation with embedded math constraints to enforce structural and numerical correctness in LLM output payloads.
- [SQL engine](https://qwed-ai-mintlify-cfa51465.mintlify.site/engines/sql.md): QWED's SQL Engine validates queries for injection attacks, destructive operations, schema compliance, and syntax errors before execution in production.
- [Stats engine](https://qwed-ai-mintlify-cfa51465.mintlify.site/engines/stats.md): QWED's Stats Engine executes statistical queries on tabular data using the secure Docker sandbox. In-process fallbacks are disabled.
- [Taint analysis engine](https://qwed-ai-mintlify-cfa51465.mintlify.site/engines/taint.md): The QWED Taint Analysis Engine tracks untrusted input flow through generated code to prevent unsanitized data from reaching sensitive sinks like SQL or shell.
- [Frequently asked questions](https://qwed-ai-mintlify-cfa51465.mintlify.site/faq.md): Get answers to common questions about QWED verification. Learn how it differs from RAG, fine-tuning, and guardrails for deterministic LLM output validation.
- [QWED Finance GitHub Action for CI/CD](https://qwed-ai-mintlify-cfa51465.mintlify.site/finance/action.md): Verify NPV, IRR, YTM, and Sharpe calculations in CI with the QWED Finance GitHub Action, including SARIF output for GitHub Advanced Security.
- [Compliance and auditing](https://qwed-ai-mintlify-cfa51465.mintlify.site/finance/compliance.md): How QWED-Finance generates cryptographic verification receipts with tamper-proof ES256 signatures and audit trails for SOX, MiFID II, and banking compliance.
- [Design and architecture](https://qwed-ai-mintlify-cfa51465.mintlify.site/finance/design.md): QWED-Finance system architecture with C4 diagrams showing integration with core banking systems, SWIFT messaging, regulators, and downstream audit pipelines.
- [QWED Finance guards for financial AI verification](https://qwed-ai-mintlify-cfa51465.mintlify.site/finance/guards.md): QWED Finance guards for financial AI verification including ComplianceGuard, CalendarGuard, DerivativesGuard, MessageGuard, and QueryGuard.
- [Open Responses](https://qwed-ai-mintlify-cfa51465.mintlify.site/finance/integrations/open-responses.md): Intercept and verify LLM tool calls in agentic loops with QWED-Finance. OpenAI-compatible tool schemas and verified results with cryptographic receipts.
- [UCP integration](https://qwed-ai-mintlify-cfa51465.mintlify.site/finance/integrations/ucp.md): Connect QWED-Finance to the Universal Commerce Protocol (UCP) for AI-driven e-commerce payment verification, capability discovery, and transaction attestation.
- [QWED Finance: deterministic verification for financial AI](https://qwed-ai-mintlify-cfa51465.mintlify.site/finance/overview.md): QWED Finance uses deterministic verification, SymPy, and Z3 to prevent hallucinations in financial AI, agent workflows, and transaction calculations.
- [Core concepts](https://qwed-ai-mintlify-cfa51465.mintlify.site/getting-started/concepts.md): Understand QWED's core concepts and trust model: LLMs translate intent while deterministic engines verify math, logic, and code claims before execution.
- [Custom providers](https://qwed-ai-mintlify-cfa51465.mintlify.site/getting-started/custom-providers.md): Add any OpenAI-compatible LLM provider to QWED using a portable YAML config. Share and import community provider definitions with a single command.
- [Installation](https://qwed-ai-mintlify-cfa51465.mintlify.site/getting-started/installation.md): Install QWED SDKs for Python, TypeScript, Go, or Rust. Includes self-hosted full stack setup instructions for on-premise deployments.
- [LLM configuration](https://qwed-ai-mintlify-cfa51465.mintlify.site/getting-started/llm-configuration.md): Configure QWED with any LLM provider — OpenAI, Anthropic, Gemini, Azure OpenAI, Ollama, or custom OpenAI-compatible endpoints — through a portable YAML config.
- [QWED quick start for deterministic verification](https://qwed-ai-mintlify-cfa51465.mintlify.site/getting-started/quickstart.md): Get started with QWED in 5 minutes: install the SDK, configure an LLM provider, and run deterministic verification with math, logic, and code examples.
- [Usage examples](https://qwed-ai-mintlify-cfa51465.mintlify.site/infra/examples.md): QWED-Infra code examples for parsing Terraform, verifying IAM with Z3, cloud cost budgets, network reachability, and release boundary checks.
- [QWED Infra guards for infrastructure verification](https://qwed-ai-mintlify-cfa51465.mintlify.site/infra/guards.md): Reference for IamGuard, NetworkGuard, CostGuard, and ArtifactBoundaryGuard — the four QWED-Infra guards for IAM, network, budget, and release checks.
- [QWED Infra: verification for Terraform, IAM, and Kubernetes](https://qwed-ai-mintlify-cfa51465.mintlify.site/infra/overview.md): QWED Infra applies formal verification to infrastructure as code — Terraform, AWS IAM, Kubernetes, costs, and release boundaries — before AI agents deploy it.
- [QWED Infra troubleshooting](https://qwed-ai-mintlify-cfa51465.mintlify.site/infra/troubleshooting.md): Fix common QWED Infra issues: Z3 solver errors, Terraform parsing failures, IAM check problems, cost pricing gaps, and diagnostic serialization.
- [Common pitfalls](https://qwed-ai-mintlify-cfa51465.mintlify.site/integration/common-pitfalls.md): Avoid common QWED integration mistakes like calling LLM directly instead of through QWED. Includes correct and incorrect code examples for reference.
- [Getting started](https://qwed-ai-mintlify-cfa51465.mintlify.site/integration/getting-started.md): Set up QWED in your development environment. Covers backend server architecture, cloning, installing, and configuring LLM providers for verification.
- [Monitoring](https://qwed-ai-mintlify-cfa51465.mintlify.site/integration/monitoring.md): Track QWED verification success rate, response time, and errors in production. Includes Datadog integration examples and key metrics to monitor for health.
- [QWED production deployment checklist](https://qwed-ai-mintlify-cfa51465.mintlify.site/integration/production.md): Production deployment checklist for QWED covering integration testing, API key management, monitoring, and performance optimization.
- [Testing your integration](https://qwed-ai-mintlify-cfa51465.mintlify.site/integration/testing.md): Validate QWED integration with a comprehensive checklist. Python code examples for testing API connectivity, error detection, and math engine functionality.
- [QWED integration troubleshooting](https://qwed-ai-mintlify-cfa51465.mintlify.site/integration/troubleshooting.md): Debug QWED integration issues including invalid API keys, backend configuration errors, unexpected verification failures, and network connectivity problems.
- [CrewAI integration](https://qwed-ai-mintlify-cfa51465.mintlify.site/integrations/crewai.md): Use QWEDVerifiedAgent and QWEDVerificationTool with CrewAI for verified multi-agent systems. Ensure agent outputs are mathematically correct before execution.
- [LangChain integration](https://qwed-ai-mintlify-cfa51465.mintlify.site/integrations/langchain.md): Use QWED with LangChain via QWEDTool for verified AI chains and agents. Includes verification callbacks for math, logic, and code validation in your workflows.
- [LlamaIndex integration](https://qwed-ai-mintlify-cfa51465.mintlify.site/integrations/llamaindex.md): Use QWEDQueryEngine wrapper for LlamaIndex to add verification to RAG pipelines. Includes math and fact checking for retrieval-augmented generation workflows.
- [QWED: deterministic verification for LLMs and AI agents](https://qwed-ai-mintlify-cfa51465.mintlify.site/intro.md): QWED is a deterministic verification platform for LLMs and AI agents that uses formal methods, symbolic execution, and policy guards to prevent hallucinations.
- [QWED Legal examples for contract verification](https://qwed-ai-mintlify-cfa51465.mintlify.site/legal/examples.md): Real-world QWED Legal examples for contract verification, deadline checks, liability cap calculations, citation validation, and legal AI review workflows.
- [QWED Legal guards for contract verification](https://qwed-ai-mintlify-cfa51465.mintlify.site/legal/guards.md): Reference for QWED Legal guards covering deadlines, liability, contradictions, citations, jurisdiction checks, and AI content provenance.
- [QWED Legal: deterministic verification guards for legal AI](https://qwed-ai-mintlify-cfa51465.mintlify.site/legal/overview.md): QWED Legal is a deterministic rejection layer that verifies dates, amounts, and structured legal claims, failing closed when proof is impossible.
- [QWED Legal troubleshooting](https://qwed-ai-mintlify-cfa51465.mintlify.site/legal/troubleshooting.md): Troubleshoot QWED Legal issues including installation errors, Z3 SMT solver failures, holidays package problems, and legal guard evaluation errors.
- [QWED MCP examples for verified tool execution](https://qwed-ai-mintlify-cfa51465.mintlify.site/mcp/examples.md): QWED MCP examples for verified tool execution covering financial calculations, legal reasoning, code review, SQL safety, and math validation workflows.
- [QWED MCP: Model Context Protocol security and verification](https://qwed-ai-mintlify-cfa51465.mintlify.site/mcp/overview.md): QWED MCP is a Model Context Protocol security layer for AI agents. Verify tool calls, detect poisoned MCP tools, and run deterministic checks before execution.
- [MCP tools reference](https://qwed-ai-mintlify-cfa51465.mintlify.site/mcp/tools.md): Complete QWED-MCP tools reference covering execute_python_code (the unified tool in v0.2.0), deprecated verify_* tools, arguments, and return schemas.
- [QWED MCP troubleshooting](https://qwed-ai-mintlify-cfa51465.mintlify.site/mcp/troubleshooting.md): Troubleshoot QWED MCP issues including installation problems, configuration errors, tool execution failures, and migration to execute_python_code.
- [QWED Open Responses examples for verified AI agents](https://qwed-ai-mintlify-cfa51465.mintlify.site/open-responses/examples.md): Real-world QWED Open Responses examples for verified AI agents, covering MathGuard, SchemaGuard, ToolGuard, and end-to-end tool-call verification patterns.
- [QWED Open Responses guards for verified AI agents](https://qwed-ai-mintlify-cfa51465.mintlify.site/open-responses/guards.md): Reference for QWED Open Responses guards including SchemaGuard and ToolGuard, with configuration options, error semantics, and tool-call validation examples.
- [LangChain integration for verified AI agents](https://qwed-ai-mintlify-cfa51465.mintlify.site/open-responses/langchain.md): Integrate QWED with LangChain to add verified tool calls, agent action validation, and deterministic guards for math, logic, code, and schema checks.
- [OpenAI integration for verified AI agents](https://qwed-ai-mintlify-cfa51465.mintlify.site/open-responses/openai.md): Use the VerifiedOpenAI wrapper to add verified tool calls, structured output validation, and deterministic guards to OpenAI Assistants and agent workflows.
- [QWED Open Responses: verified tool calls for AI agents](https://qwed-ai-mintlify-cfa51465.mintlify.site/open-responses/overview.md): QWED Open Responses adds verified tool calls, deterministic guards, and AI agent security checks to OpenAI, LangChain, and LlamaIndex workflows.
- [QWED Open Responses troubleshooting](https://qwed-ai-mintlify-cfa51465.mintlify.site/open-responses/troubleshooting.md): Troubleshoot QWED Open Responses issues including installation errors, SchemaGuard failures, ToolGuard rejections, and agent verification runtime problems.
- [Releases](https://qwed-ai-mintlify-cfa51465.mintlify.site/releases.md): QWED Protocol release history with download links, installation instructions, version notes, and upgrade guidance across Python, TypeScript, Go, and Rust SDKs.
- [Go SDK](https://qwed-ai-mintlify-cfa51465.mintlify.site/sdks/go.md): QWED Go SDK documentation. Install via go get, use context-based verification methods, and handle errors idiomatically in your Go applications.
- [SDK guards](https://qwed-ai-mintlify-cfa51465.mintlify.site/sdks/guards.md): Agentic security guards for protecting AI agents from prompt injection, data exfiltration, MCP poisoning, and reasoning integrity violations.
- [SDKs overview](https://qwed-ai-mintlify-cfa51465.mintlify.site/sdks/overview.md): QWED official SDKs for Python, TypeScript, Go, and Rust. Compare features, view quick install commands, and get started with verification in minutes.
- [Python SDK](https://qwed-ai-mintlify-cfa51465.mintlify.site/sdks/python.md): QWED Python SDK documentation. Install via pip, configure sync or async clients, and verify LLM outputs with math, logic, code, and SQL engines.
- [Rust SDK](https://qwed-ai-mintlify-cfa51465.mintlify.site/sdks/rust.md): QWED Rust SDK documentation. Add via Cargo, use async/await with tokio runtime, and integrate deterministic verification into your Rust applications.
- [TypeScript SDK](https://qwed-ai-mintlify-cfa51465.mintlify.site/sdks/typescript.md): QWED TypeScript/JavaScript SDK documentation. Install via npm, yarn, or pnpm. Configure verification options and integrate with Node.js or browser apps.
- [QWED-Agent specification v1.1](https://qwed-ai-mintlify-cfa51465.mintlify.site/specs/agent.md): QWED-Agent v1.1 protocol for AI agents to verify actions before execution, covering registration, tool verification, budget limits, and trust levels.
- [QWED-Attestation specification v1.0](https://qwed-ai-mintlify-cfa51465.mintlify.site/specs/attestation.md): QWED-Attestation v1.0 defines the standard format for cryptographic proofs of verification. Covers attestation models, JWT formats, and verification chains.
- [Protocol specifications](https://qwed-ai-mintlify-cfa51465.mintlify.site/specs/overview.md): QWED formal specifications for interoperability. Overview of QWED-SPEC, QWED-Attestation, and QWED-Agent protocols for deterministic AI verification systems.
- [QWED protocol specification](https://qwed-ai-mintlify-cfa51465.mintlify.site/specs/qwed-spec.md): QWED-SPEC v1.0 defines the standard interface for deterministic verification of AI-generated content. Covers request/response formats and supported engines.
- [Support QWED development](https://qwed-ai-mintlify-cfa51465.mintlify.site/support.md): Sponsor QWED open-source development through GitHub Sponsors or enterprise support to enable faster releases, better documentation, and premium features.
- [QWED Tax guards for AI payroll and tax verification](https://qwed-ai-mintlify-cfa51465.mintlify.site/tax/guards.md): Reference for QWED Tax guards covering US and India workflows including classification, nexus, payroll, withholding, and GST verification.
- [QWED Tax integration for AI payroll and tax workflows](https://qwed-ai-mintlify-cfa51465.mintlify.site/tax/integration.md): Verify AI-generated payroll, tax, and withholding payloads with QWED Tax pre-flight middleware before forwarding them to Gusto, Avalara, or Stripe.
- [QWED Tax: tax verification for AI agents](https://qwed-ai-mintlify-cfa51465.mintlify.site/tax/overview.md): QWED Tax verifies payroll and tax actions for AI agents before execution, with deterministic checks for IRS and CBDT rule compliance.
- [Troubleshooting guide](https://qwed-ai-mintlify-cfa51465.mintlify.site/troubleshooting.md): Resolve common QWED verification issues including authentication errors, API key problems, and rate limits. Step-by-step debugging solutions included.
- [QWED UCP examples for AI commerce verification](https://qwed-ai-mintlify-cfa51465.mintlify.site/ucp/examples.md): Real-world QWED UCP examples for AI commerce verification, checkout validation, refund flows, currency conversion checks, and end-to-end transaction safety.
- [QWED UCP guards for AI commerce verification](https://qwed-ai-mintlify-cfa51465.mintlify.site/ucp/guards.md): Reference for QWED UCP guards including Money Guard, State Guard, Refund Guard, and Attestation Guard for AI commerce verification.
- [Express.js middleware](https://qwed-ai-mintlify-cfa51465.mintlify.site/ucp/middleware-express.md): Add QWED-UCP middleware to Express.js apps for automatic checkout verification. npm installation, configuration, and TypeScript support included.
- [FastAPI middleware](https://qwed-ai-mintlify-cfa51465.mintlify.site/ucp/middleware-fastapi.md): Add QWED-UCP middleware to FastAPI apps for automatic checkout verification. Configuration options, error handling, and production deployment best practices.
- [QWED UCP: transaction verification for AI commerce](https://qwed-ai-mintlify-cfa51465.mintlify.site/ucp/overview.md): QWED UCP verifies AI-driven commerce transactions, totals, discounts, tax, and currency before payment processing to prevent checkout errors and fraud.
- [QWED UCP troubleshooting](https://qwed-ai-mintlify-cfa51465.mintlify.site/ucp/troubleshooting.md): Fix common QWED UCP issues: Python version errors, middleware setup, checkout verification failures, and Express and FastAPI integration errors.
- [QWED Protocol: deterministic verification for LLMs](https://qwed-ai-mintlify-cfa51465.mintlify.site/whitepaper.md): Academic whitepaper on QWED's formal methods approach to eliminating AI hallucinations. Benchmarks show 100% error detection with 73-85% LLM accuracy.

## Optional

- [GitHub](https://github.com/QWED-AI/qwed-verification/)
- [Marketplace](https://github.com/marketplace/qwed-security)
- [PyPI](https://pypi.org/project/qwed/)
- [Docker](https://hub.docker.com/orgs/qwedai/repositories)