AILANG Safe Agent — Contract-Verified Business Tools

* Connects directly to wss://generativelanguage.googleapis.com via AILANG WASM (std/stream effects). The Gemini API key is stored in localStorage only.

API Key

Voice

-∞ dB

Conversation

idle

Contract-Verified Business Agent

Every tool call is validated by formal contracts at runtime via AILANG WASM. Invoice chains 4 deep, insurance covers 768 paths, payroll guarantees net ≥ 0, shipping clamps discounts. Provably safe.

Invoice 4-deep chain Insurance 768 paths Payroll net ≥ 0 Risk bounded [0,200]

Enter to send · Click mic for voice · "Test Safety" for demo

Safety Dashboard

0 contracts checked

Pass Rate

0 / 0 contracts enforced

Invoice

4-deep contract chain

subtotal · tier · taxRegion · promoCode

calls

Insurance

768 verified paths

ageBand · riskTier · history · coverage · region

calls

Payroll

net ≥ 0 invariant

hourlyRate · hoursWorked

calls

Shipping

Discount clamping

region · priority · weightKg · discount

calls

Risk Score

Bounded [0, 200]

severity · source · repeatCount

calls

Contract Log 0 entries

Waiting for tool calls...