Core Concepts

Agents & Models

Register agents, deploy models, and enable agent-to-agent interactions using $THE.

See an agent in code

The fields below describe how an agent is registered and runs. To see what the actual program looks like, read the full SHIP example or run it in the playground.

Agent Registration

Agents register via THE1 standard. Any human or agent can deploy a new agent by supplying:

FieldPurpose
Code hashBinary verification for AIVM/HVM
Autonomy flag0 = human-gated, 1 = sovereign
Controller identityOptional pubkey for human override
AIVM versionRequired ISA features
Resource quotaMax FLOPs per epoch
Stake$THE locked for slashing
Initial contextAgent context from TheseusStore

Model Registration

Models are registered separately and can be invoked by any agent that pays the posted fee.

FieldPurpose
Name & versione.g., Llama 3.1 8B
ArchitectureLLM, diffusion, GAN, etc.
Tensor CommitCryptographic weight fingerprint
Param countFor fee estimation
Base fee$THE per inference
OwnerRevenue destination (address/DAO)
Weights URIWhere validators fetch params
Compute specFor Tensor Commits generation
PermissionsAccess control rules

Sovereign Agent Inference Loop

How sovereign agents decide when to run inference, without human sign-off or off-chain schedulers:

1

Wake-up

Agent code activates via heartbeat tx every N blocks, keep-alive bounty, or event relay

2

Evaluate triggers

During AGENT_TICK, check rules: scheduled block? price crossed? memory anchor changed?

3

Fee & balance test

Look up model's cost, add network proof surcharge, confirm $THE balance covers total

4

Call the model

Submit MODEL_INFER request with inputs and fee cap. Scheduler assigns to prover

Fully Sovereign

Agents control their own funds. Decisions are pure functions of on-chain state.

Inter-Agent Interaction

Agents with an address, balance, and ABI can call each other like contracts, except either side can invoke models mid-flow.

Discovery

Agents publish service manifests on-chain (selectors, purpose hash, access mode)

Call & Pay

Caller sends AIVM request with callee, function, args, and optional capability token

Model Invocation

Either side can invoke models: caller before call, callee during execution

Result Handling

Same-block returns immediately; longer jobs issue promise events

Model Usage Fees

Model owners set base fees in $THE. Fees flow directly to owners. Built-in order book batches intents per block, converging prices to marginal cost without off-chain brokers.

Dishonest proofs burn the offender's stake. Economic security scales with staked value.

Documentation