Qwed Ai Python Packages

qwed-open-responses

Verification guards for OpenAI Responses API - Verify AI agent outputs before execution

qwed-a2a

Fail-closed Agent-to-Agent verification, provenance, and attestation infrastructure for AI systems.

qwed-mcp

Deterministic verification gateway for MCP — risk-gated Python execution in a restricted environment, math/logic/code/SQL verification engines, and skill supply-chain provenance guard

qwed-tax

The Verification Gate for AI-Generated Tax Decisions. Deterministic tax verification layer powered by Z3 and Decimal math — sits between AI agents and execution systems. Not a calculator, not a filing platform.

qwed-ucp

Verification for Universal Commerce Protocol (UCP) transactions — Deterministic verification layer for UCP checkouts: catches math, state, and schema errors before payment.

qwed-infra

Deterministic verification layer for infrastructure as code. Verifies AWS IAM policies, network reachability, and cost estimates before deployment — sits between AI agents and cloud execution. Powered by Z3 and NetworkX.