8 projects
qwed
The Deterministic Verification Protocol for AI - 11 verification engines for math, logic, code, SQL, facts, images, and more. Now with Agentic Security Guards.
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-infra
Deterministic Verification for Infrastructure as Code (IaC) using Z3 and Graph Theory.
qwed-tax
Deterministic Verification for Payroll and Tax Compliance.
qwed-open-responses
Verification guards for OpenAI Responses API - Verify AI agent outputs before execution
qwed-legal
🏛️ Verification guards for legal contracts - Date calculations, clause consistency, liability verification
qwed-ucp
QWED verification for Universal Commerce Protocol (UCP) transactions