Dual-agent · RAG-grounded · Gate before broadcast
Translates natural-language Web3 intents into EVM calldata, retrieves verified ABIs and security invariants via vector search, then adversarially audits every field before simulation or testnet dispatch. The planner is treated as hostile until proven otherwise.
Three isolated stages run sequentially. Only an APPROVED audit unlocks execution. Rejected proposals never reach the chain.
Gemini 3.6 Flash
NL intent → structured TransactionProposal: contract, function, args, calldata, gas.
Chroma + Gemini 3.1 Pro
Retrieves ERC-20 / Uniswap / Aave ABIs and invariants. Cross-checks every planner field; rejects hallucinations and drains.
@tetherto/wdk · policy gate
Approved calldata exported for WDK sendTransaction. Policy hook blocks sign unless gatekeeper APPROVED token matches.
User Intent
│
▼
┌─────────────────────┐
│ Execution Agent │ Gemini Flash → TransactionProposal
└─────────┬───────────┘
▼
┌─────────────────────┐
│ Vector Store / RAG │ ChromaDB · ABIs + invariants
└─────────┬───────────┘
▼
┌─────────────────────┐
│ Paranoid Gatekeeper│ Gemini Pro → APPROVED | REJECTED
└─────────┬───────────┘
│ APPROVED only
▼
┌─────────────────────┐
│ Web3 Executor │ simulate → optional broadcast
└─────────────────────┘
Gemini emits typed JSON proposals — not raw hex — so the auditor can reason over function names, args, and attached ETH value.
Chroma retrieves verified ABI fragments and invariants (zero-address, slippage bounds, method-signature rules) injected into the gatekeeper prompt.
Pro gatekeeper assumes prompt injection and planner hallucination. Cites grounded facts; prefers REJECTED when uncertain.
Blocked txs never broadcast. Approved paths run simulation first; mock or live tx hash returned for observability.
address(0)uint256 max to unknown spendersPick a scenario below. Each exercises a different failure mode or happy path through the full pipeline.
Gemini Flash · structured calldata planner
Gemini 3.1 Pro · RAG-grounded adversarial audit
Simulation · mock or testnet tx hash