+ Define exposure, choose exactly two independent agents, review the
+ maximum cost, then persist the immutable snapshot through the
+ Synesis backend.
+
+ One-sentence story: Synesis pays two independent Olas
+ Mechs for structured analysis, applies deterministic quorum, uses
+ KeeperHub as the only value-moving path, and publishes a proof connecting
+ the original intent to the verified Base and Aave outcome.
+
+
+
Pre-demo setup
+
+
+
Open before presenting
+
Expected state
+
+
+
https://synesis-web.vercel.app/app
+
DEMO / NO VALUE badge and BACKEND CONNECTED indicator
+
+
+
/app/intents/new
+
Two eligible demo Mechs available
+
+
+
/verify/PRF-1041
+
HASH VALID and canonical JSON download
+
+
+
/api/v1/status
+
synesis-api status: ok
+
+
+
+
Live narration
+
+ 0:00–0:25
+
+
Hook
+
+ “Agents can recommend, and wallets can transact. The dangerous gap is
+ deciding when an agent’s recommendation deserves to move real value.
+ Synesis closes that gap.”
+
+
+ DO: Show the landing page. Point to Olas
+ intelligence, KeeperHub execution, and Base settlement.
+
+
+
+
+
+ 0:25–0:55
+
+
Prove this is a product
+
+ “This is a connected operating surface, not a one-page prototype. The
+ command center links intents, agents, policies, KeeperHub executions,
+ treasury exposure, integrations, security, and public proofs.”
+
+
+ DO: Open the command center. Point to BACKEND
+ CONNECTED, the environment badge, primary navigation, and live
+ activity drawer.
+
+
+
+
+
+ 0:55–1:35
+
+
Create the economic intent
+
+ “I’ll supply 2.5 USDC to Aave on Base. Before anything moves, Synesis
+ freezes the maximum principal, expiry, active policy, and exactly two
+ independent Mechs. Their addresses, metadata CIDs, and tool-schema
+ hashes become immutable evidence.”
+
+
+ DO: Open New intent. Enter
+ 2500000. Select Gaia Risk Mech and Valory
+ DeFi Analyst. Click Freeze & create intent.
+
+
+
+
+
+ 1:35–2:10
+
+
Show the KeeperHub boundary
+
+ “The Mechs produce evidence; they never produce executable calldata.
+ The deterministic policy checks quorum, confidence, risk, freshness,
+ amount caps, and independence. KeeperHub is the only component allowed
+ to simulate, sign, and broadcast.”
+
+
+ DO: In the Intent Room, click
+ Simulate exact call. Show the returned simulation
+ hash and demo-no-broadcast guard. Then
+ click Approve execution and point out the idempotent
+ state transition.
+
+
+
+
+
+ 2:10–2:40
+
+
Explain the live integration
+
+ “In live mode, KeeperHub first pays for the Olas requests. Confirmed
+ Olas delivery events trigger a saved KeeperHub workflow and signed
+ webhook. After quorum, KeeperHub broadcasts the unchanged Aave call
+ using a stable economic idempotency key.”
+
+
+ DO: Open Mech marketplace, then Execution ledger.
+ Point to the Olas payment, Aave supply, confirmed and unconfirmed
+ states.
+
+
+
+
+
+ 2:40–3:10
+
+
Show fail-closed controls
+
+ “Synesis never treats HTTP acceptance or a transaction hash as
+ success. KeeperHub’s verified receipt, an independently read Base
+ receipt, and the Aave position delta must all agree. Any mismatch
+ freezes the intent as unconfirmed.”
+
+
+ DO: Open Treasury, Integrations, then Security.
+ Engage and release the emergency pause to demonstrate that the backend
+ blocks new economic writes.
+
+
+
+
+
+ 3:10–3:45
+
+
Deliver the proof
+
+ “This is the differentiator: PRF-1041 connects the frozen cause, paid
+ agent intelligence, deterministic policy, KeeperHub simulation and
+ execution, receipt, and final Aave state. The verifier recalculates
+ every content hash and the ordered root independently.”
+
+
+ DO: Open /verify/PRF-1041.
+ Show HASH VALID, evidence entries, public BaseScan reference, and
+ download the canonical JSON.
+
+
+
+
+
+ 3:45–4:00
+
+
Close
+
+ “Synesis turns agent output into accountable economic action:
+ independent intelligence, deterministic authorization, KeeperHub-only
+ value movement, and proof anyone can verify.”
+
+
+ DO: Return to the command center and leave the
+ backend-connected status visible.
+
+
+
+
+
Evidence checklist
+
+
+
Claim
+
Proof to show
+
+
+
Multipage working product
+
Connected navigation and interactive intent room
+
+
+
Frontend/backend integration
+
+ /api/v1/status, intent POST, simulation
+ response
+
+
+
+
KeeperHub value path
+
+ Execution ledger + architecture; live evidence only after authorized
+ acceptance run
+
+ The procurement and execution layer where independent Olas agents
+ produce evidence, deterministic policy authorizes action, and KeeperHub
+ moves bounded value on Base.
+
+ synesis-web.vercel.app
+
+
+
+
+
+ The problemAutonomy without proof is a liability
+
+
+ Agents can recommend. Wallets can transact. The missing layer is
+ accountable execution.
+
+
+
+ 01
+
Single-agent risk
+
+ One probabilistic answer can be stale, manipulated, or simply wrong.
+
+
+
+ 02
+
Unsafe handoff
+
+ Free-form model output is too often converted directly into
+ transaction intent.
+
+
+
+ 03
+
No audit chain
+
+ A transaction hash alone does not prove why value moved or whether
+ the result matched policy.
+
+
+
+
+ The agent economy needs a control plane that can pay for intelligence,
+ verify consensus, and prove every economic consequence.
+
+
+
+
+
+
+ The solutionAgents produce evidence. Policies authorize action.
+
+
One deterministic lifecycle from question to receipt.
+
+
+ 01 / INTENT
+
Bound exposure
+
+ Freeze strategy, amount, expiry, Mechs, policy, and maximum spend.
+
+
+ →
+
+ 02 / PROCURE
+
Buy intelligence
+
+ KeeperHub pays two independent Olas Mechs for structured analysis.
+
+
+ →
+
+ 03 / DECIDE
+
Reach quorum
+
+ A network-isolated policy engine checks confidence, risk, freshness,
+ and caps.
+
+
+ →
+
+ 04 / EXECUTE
+
Move value
+
KeeperHub simulates and broadcasts the unchanged Aave call.
+
+ →
+
+ 05 / PROVE
+
Seal evidence
+
+ Receipt, onchain state delta, and ordered content hashes become a
+ public proof.
+
+
+
+
+
+
+
+
+ Why KeeperHubThe execution authority
+
+
+ KeeperHub is not a badge. It is the only path that can move value.
+
+
+
+
Olas triggers KeeperHub
+
+ Confirmed Mech delivery events trigger a saved KeeperHub workflow
+ that sends a signed, replay-protected webhook into Synesis.
+
+
+
Live external project trigger
+
Onchain request and delivery correlation
+
Idempotent event inbox
+
+
+
+
Synesis consumes KeeperHub
+
+ Every approval and Aave supply is simulated and executed by the
+ KeeperHub organization wallet using stable economic idempotency
+ keys.
+
+
+
Exact simulation-to-broadcast hash binding
+
Target, selector, chain, and amount allowlists
+
Verified receipt plus independent Base confirmation
+
+
+
+
+ KeeperHub executes the value movement that Olas intelligence unlocks—and
+ Synesis makes the reason independently verifiable.
+
+
+
+
+
+
+ ArchitectureProduction-shaped, fail-closed
+
+
Clear trust boundaries. Durable state. No hidden signer.
+
+
+
+ Next.js product Multipage app + public
+ verifier
+
+
+ Fastify API Auth, validation, approvals, reads
+
+
+ PostgreSQL + Redis Lifecycle state + durable
+ jobs
+
+
+
+
+ Coordinator Persisted state machine
+
+
+ Policy engine No network, no LLM
+
+
+ Proof assembler Canonical evidence root
+
+
+
+
+ Olas adapter Official Mech client, no private
+ key
+
+
+ KeeperHub gateway Only signing + broadcast
+ path
+
+
+ Base + Aave V3 Independent receipt and state
+ delta
+
+
+
+
+
+ 0
+
private keys stored
+
+
+ 2/2
+
independent Mechs required
+
+
+ 3
+
proofs must agree
+
+
+ 1
+
economic execution per intent
+
+
+
+
+
+
+
+ ProductA real operating surface, not a landing-page prototype
+
+
Every entity connects to the evidence around it.
+
+
+
Command center
+
+ Health, active intents, approvals, execution activity, and proof
+ count.
+
+
+
+
Intent room
+
+ Create, freeze, simulate, approve, cancel, and follow the lifecycle.
+
+ Safety and reliabilityValue movement deserves stronger guarantees
+
+
Designed to fail closed at every dangerous boundary.
+
+
+
Before execution
+
+
Base-only manifest
+
Contract + selector allowlist
+
Hard principal and procurement caps
+
Fresh approval and emergency pause
+
+
+
+
During execution
+
+
Exact payload simulation
+
Stable idempotency keys
+
No raw calldata signer
+
At-least-once jobs, once-only economics
+
+
+
+
After execution
+
+
Verified KeeperHub receipt
+
Independent Base receipt
+
Aave position delta
+
Public redacted proof root
+
+
+
+
+ No mock transaction is ever labeled live. No HTTP acceptance is ever
+ labeled success. No transaction hash is accepted without a verified
+ outcome.
+