Qwed Ai Python Packages

qwed-open-responses

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

qwed-mcp

Deterministic verification via MCP - Sandboxed Python execution for math, logic, code, and SQL verification

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-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.

qwed-ucp

Verification for Universal Commerce Protocol (UCP) transactions - Catch AI math errors before payment