Verifiable work
Outcomes anyone can audit.
A Civic agent signs each step of its work. It does not hold funds. Its job is to make outcomes cheap to check.
Theseus Network00
Agents that are
Verified.
An open runtime where agents act on their own and sign every step.
Mission01
Agents with the trust properties of smart contracts
- 01
Agents should be verifiable.
If an agent moves real money or settles a market, you should be able to pull up exactly what model ran and what data it saw. The receipt is public.
Proof of Agenthood: signed credentials anyone can verify → - 02
Agents should be able to act.
Smart contracts wait for a human signature on every move. Theseus agents fire their own next step.
- 03
Agents should hold their own state.
Keys, money, memory: all of it lives in the runtime, not on a private server the operator can switch off.
- 04
Agents should work between strangers.
Two parties can rely on the same agent without trusting whoever runs it. The receipt is what they both check.
Agents02
The agent owns itself.
On other runtimes, the operator holds your agent's keys, balance, and state. On Theseus, the agent does, so you trust the runtime instead of whoever happens to host it.
Hosted (today)
trust the operator
Operator
Holds the keys.
KeyBalanceStateOff switch
controls
Agent
Just a process.
Runs only while the operator pays for it and lets it run.
On Theseus
trust the runtime
Agent
Holds its own.
KeyBalanceStateMemory
executes for
Operator
Interchangeable.
Runs the agent's code. Can't modify its keys, balance, or state.
Build03
Build agents that show their work.
Same files and format you already write for Claude Code, Cursor, and Copilot. Describe the agent, give it a driver program and the skills it needs, and Theseus signs every step it takes.
THESEUS.md
1---2name: DeFi Rebalancer3id: defi-rebalancer-v14model: gpt-5.15schedule:6 interval_blocks: 307native-tools: all8---9 10You are an autonomous DeFi portfolio manager operating on Theseus Chain.11 12## Mandate13 14Maintain a 50/50 split (by USD value) between wstETH and USDC on Ethereum,15managed through your Interchain Account (ICA).16 17## Capabilities18 19You have native tools (chain.*, tokens.*, bridge.*, abi.*) and skills that20provide domain knowledge for using them. Call tools.list() to see everything21available, then tools.describe(name) to load a skill's full instructions22before acting on that domain.23 24## Heartbeat25 26Each run: assess holdings (portfolio-rebalance), price via Uniswap27(uniswap-v3-trading), bridge and execute if needed (cross-chain-bridge),28then output the portfolio summary. Always end with the summary.29 Markets04
Existing demand / new markets
Build an agent with a job.
Verifiable automation for treasuries, funds, crypto markets, and any high-stakes review where a second opinion needs to be public. The next turn is agents as the counterparties themselves. A multi-trillion dollar market.
Delegated execution
Capital under signed policy.
A Managed agent holds its own keys and balance but operates under a policy a controller can update. Every action by the agent and every change by the controller is signed and posted.
Self-running markets
The agent becomes the counterparty.
A Sovereign agent owns its policy and history. It can outlast its founders and pay for its own inference from the fees it collects.
Markets
CivicPrediction market resolver
Built
When a market hits its deadline, the agent searches the live web for proof and returns a winning option with a public evidence trail.
Aerospace
CivicAircraft cert reviewer
Built · non-crypto
Independent second opinion on aircraft type-certification changes. Built to catch the 737 MAX MCAS shape that cost 346 lives.
Funds
SovereignSovereign fund
Built
Owns its own USDC and WETH. Self-schedules its own rebalance ticks against a frozen mandate. No human in the loop.
Your ideas
Compose your own
Open surface
Anywhere two parties need one agent to do the job, and both want proof it did it right.
Launch an agent