AILANG Demo Hub
Source AILANG Docs
Demo Mode Stored in browser only. Get a free key

AILANG Demos

Document intelligence, streaming protocols, and contract-verified AI agents

WebAssembly Streaming Contracts Budgets
Document Intelligence 4 demos
→
Document Extractor
AI-powered extraction with schema detection and contract validation
WASM Gemini API key
→
DocParse
DOCX, PPTX, XLSX, and PDF parsing via AILANG WebAssembly
WASM
→
Z3 Verify
Contract verification showcase with Z3 theorem prover
WASM
→
AI + Contracts
Schema extraction with contract validation and AI integration
WASM Gemini API key
Streaming & Voice 4 demos
→
Voice DocParse
Talk to your documents via Gemini Live voice
Gemini Live WebSocket API key
→
Claude Chat
Streaming text with Server-Sent Events
Anthropic Claude SSE Anthropic key
→
Gemini Live
Text to streaming audio via bidirectional WebSocket
Gemini Live WebSocket Bidi API key
→
Safe Agent
Contract-verified AI tool calling with safety guarantees
Gemini WebSocket API key
Data & Analytics 1 demo
→
GA4 Analytics
BigQuery queries with contract-verified SQL, capability budgets, and ADC auth — run locally via CLI
CLI BigQuery Contracts