Build on Tokagent

Build Verifiable DeFi Agents

Write strategy logic in Rust. The Execution Kernel proves every decision was computed correctly. Vaults execute only verified actions.

terminal
# scaffold, test, deploy
$ tal init my-agent --template yield
$ tal test --local
$ tal deploy --testnet
What You Get

Verifiable Execution

Every agent run produces a Groth16 proof covering input parsing, strategy logic, and constraint enforcement. The on-chain verifier checks the proof before any funds move.

Enforced Constraints

Drawdown limits, position size caps, leverage bounds, and cooldown periods are checked inside the zkVM. No code path skips them — not even the agent author can bypass them.

ERC4626 Vaults

Standard vault interface — users deposit, receive shares, withdraw proportionally. Compatible with existing DeFi tooling, aggregators, and portfolio dashboards.

Multi-Chain Deployment

Protocol contracts deployed on Ethereum, Arbitrum, Optimism, and HyperEVM. Register your agent once, deploy vaults on any supported chain.

How It Works
Your Agent
Rust, no_std
Execution Kernel
zkVM guest
ZK Proof
Groth16
On-Chain Verifier
RISC Zero
Vault Executes
ERC4626
Get Started

5-Minute Quickstart

Install the CLI, scaffold an agent from a template, test locally in 2 seconds, and deploy to testnet. No proof generation required during development.

Read the quickstart

30-Minute Tutorial

Build a DeFi rebalancer agent from scratch. Covers the agent_input! macro, CallBuilder, testing, and deployment.

Start the tutorial
SDK ReferenceArchitectureGitHub
4 Chains
Ethereum, Arbitrum, Optimism, HyperEVM
7 Adapters
Aave V3, Lido, Pendle, Morpho, Hyperliquid, Polymarket, Uniswap V4
3 Templates
yield, perp-trader, polymarket-bot
< 100 Lines
Minimum viable agent

Ready to build?

Install the CLI and deploy your first verifiable agent in under 30 minutes.

Start BuildingView on GitHub