QWED | Deterministic Verification for AI

TypeScriptnpm install @qwed-ai/sdk

Gogo get github.com/qwed-ai/qwed-go

🎯 Deterministic Verification

100% accurate math and logic verification using SymPy and Z3. No hallucinations, just proofs.

⚙️ 8 Verification Engines

Math, Logic, Code, SQL, Stats, Fact, Image, and Reasoning engines for comprehensive coverage.

📦 Multi-Language SDKs

Official SDKs for Python, TypeScript, Go, and Rust. Use QWED in any stack.

🔌 Framework Integrations

Native integrations with LangChain, LlamaIndex, and CrewAI for AI agent development.

🔐 Cryptographic Attestations

JWT-based proofs with ES256 signatures. Verify that a verification occurred.

🤖 Agent Verification

Pre-execution checks, budget enforcement, and activity logging for AI agents.

from qwed_sdk import QWEDClient

client = QWEDClient(api_key="qwed_...")

# Verify math
result = client.verify_math("2+2=4")
print(result.verified)  # True

# Verify logic
result = client.verify_logic("(AND (GT x 5) (LT y 10))")
print(result.model)  # {"x": 6, "y": 9}

# Check code security
result = client.verify_code(code)
print(result.vulnerabilities)  # []

import { QWEDClient } from '@qwed-ai/sdk';

const client = new QWEDClient({ apiKey: 'qwed_...' });

// Verify math
const result = await client.verifyMath('2+2=4');
console.log(result.verified);  // true

// Verify logic
const logic = await client.verifyLogic('(AND (GT x 5))');
console.log(logic.model);  // { x: 6 }

// Batch verify
const batch = await client.verifyBatch([...]);
console.log(batch.summary.successRate);