11Verification Engines
4Language SDKs
3Framework Integrations
100%Deterministic
⚡ Quick Install
Python
pip install qwedTypeScript
npm install @qwed-ai/sdkGo
go get github.com/qwed-ai/qwed-goRust
cargo add qwed✨ Features
🎯 Deterministic Verification
100% accurate math and logic verification using SymPy and Z3. No hallucinations, just proofs.
⚙️ 11 Verification Engines
Math, Logic, Code, SQL, Stats, Fact, Image, Reasoning, Graph, Taint, and Schema 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.
🔧 Verification Engines
🔢MathSymPy + Calculus
🧠LogicZ3 + Quantifiers
💻CodeMulti-Lang AST
🗃️SQLSQLGlot + Limits
📊StatsWasm Sandbox
📚FactTF-IDF
🕸️GraphKG Triples
🖼️ImageDeterministic
🕵️TaintData Flow Analysis
📐SchemaJSON + Math
💭ReasoningMulti-LLM
🚀 See It In Action
Python
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) # []TypeScript
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);🔗 Integrations
🦜 LangChain
from qwed_sdk.langchain import QWEDTool🦙 LlamaIndex
from qwed_sdk.llamaindex import QWEDQueryEngine🚢 CrewAI
from qwed_sdk.crewai import QWEDVerifiedAgentReady to verify?
Start building with deterministic AI verification today.