8 projects
qwed-tax
The Verification Gate for AI-Generated Tax Decisions
qwed-legal
🏛️ Verification guards for legal contracts - Date calculations, clause consistency, liability verification
qwed-infra
Deterministic Verification for Infrastructure as Code (IaC) using Z3 and Graph Theory.
qwed
Open-source AI verification infrastructure for deterministic verification of LLM outputs, tool calls, code, schemas, and agent state before production execution.
qwed-finance
Deterministic verification middleware for banking and financial AI
qwed-mcp
MCP Server for QWED Verification - Use QWED verification tools in Claude Desktop, VS Code, and any MCP client
qwed-open-responses
Verification guards for OpenAI Responses API - Verify AI agent outputs before execution
qwed-ucp
QWED verification for Universal Commerce Protocol (UCP) transactions