Execution you can prove.
Submit a mandate — swap, supply to a lending pool, settle a cross-border payment. Specialized AI agents execute it on-chain, while a cryptographic proof commits every action to Soroban. You don't just get an output. You get proof the agent stayed inside your parameters.
Composes with the Stellar DeFi stack
Agents act. The chain remembers everything.
Verix sits between intent and execution — turning natural-language mandates into bounded, auditable on-chain actions.
Intent in. Bounds enforced.
Write what you want in plain language and set hard constraints — max slippage, gas ceiling, allowed protocols, time windows. Verix compiles the mandate into a policy the agents physically cannot exceed.
mandate.policy → compiledSpecialized agents, real transactions.
A router decomposes the mandate and dispatches it to purpose-built agents — swap, lend, bridge, settle. Each signs and submits real Soroban transactions, coordinating routes for best execution.
router → swap · lend · settleA receipt you can verify yourself.
Every decision, parameter and transaction is hashed into a proof committed to Soroban. Anyone can replay it against the original mandate and confirm the agent never stepped outside the lines — no trust required.
proof.commit → sorobanThree steps. Zero blind trust.
From a sentence to a settled, provable position in seconds.
Write your mandate
Describe the outcome in plain language and pin the boundaries — slippage, gas, protocols, time. Verix compiles intent and limits into an enforceable execution policy.
Agents execute on-chain
Specialized agents route, sign and submit real Soroban transactions — coordinating for best execution while staying provably within every constraint you set.
Proof commits to Soroban
A cryptographic record of every action lands on-chain. Replay it any time against your original mandate to verify the agent never crossed a single line.
Watch a mandate become a proof.
A real execution trace: parameters locked, agents dispatched, every action hashed and committed.
Built for capital that can't be wrong.
Operators who refuse to guess.
We let agents touch real positions for the first time — because for the first time we can prove what they did, line by line. The audit trail sells itself to our risk team.
The mandate model is the right abstraction. I describe the strategy, set the bounds, and get a Soroban-committed receipt back. No more diffing logs hoping the bot behaved.
Verifiable execution is the missing primitive for on-chain agents. Verix is the first team treating the proof as the product, not an afterthought.
Start in the sandbox. Scale to mandates.
Early access pricing. Lock your tier now — rates rise at public launch.
- Unlimited testnet mandates
- Full proof generation
- Swap & lend agents
- Community support
- Mainnet execution
- On-chain proof commitment
- All agents + custom bounds
- Exportable audit trail
- Priority routing
- Dedicated agent fleet
- Policy & compliance review
- SLA + onboarding
- Private deployment options
- Named support engineer
What you'll want to ask.
Stop trusting agents. Start verifying them.
Get early access to the verifiable execution layer for Stellar DeFi. Limited cohort — proofs included.
No spam. Mandate updates and your cohort invite only.