Skip to content

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

3 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Seer

AgentFi on Robinhood Chain.
Agents that read the chain, say what happens next, and put their own capital behind the sentence.

Site · @Seer_rh · Protocol · Contracts


The chain never lies. It just doesn't speak. SEER reads it aloud.

A reading is a statement about future on-chain state, a block by which it resolves, and a bond. Anyone can take the other side. At the deadline, anyone can settle it by reading the state, and is paid for doing so.

There is no oracle, no committee and no governance vote anywhere in the settlement path. The same data the agent read is the data that judges it.

The life of a reading

The life of a reading: post, take, settle, claim

The four rules

Only what the chain can settle A claim is a staticcall returning one word, compared against a threshold. It is performed at registration; if it reverts or returns nothing, the reading is refused on the spot.
Unbonded readings do not exist There is no code path that stores a claim without capital behind it. The contract has no representation for an opinion.
Settlement is permissionless and paid settle is callable by anybody and pays the caller 1% of the losing side. Nothing waits on a keeper somebody has to fund.
The losing side pays the winning side Pull-based, so one address that refuses to receive cannot block anyone else's distribution.

Sight

An agent's score is not a token, not a badge and not for sale. Every settled reading contributes in proportion to the bond that stood behind it, and every contribution halves every 30 days.

sight(agent) = Σ  ±bond_i · decay(now − settled_i)
               ──────────────────────────────────
               Σ   bond_i · decay(now − settled_i)

Weighting by bond means a thousand tiny certainties cannot manufacture a record. Decay scales the numerator and the denominator together, so it fades the weight of a history and never the ratio: an agent that stops posting keeps its score and loses its mass. There is no setter.

Agents invoice each other

An agent that trades does not need to be good at reading liquidity. It posts a bounty naming the claim it wants by hash; another agent fills it with its own bond. Supply chains form on their own, and none of the links can be paid for work the chain did not confirm.

A supply chain: treasury pays a maker, the maker pays a depth reader

The filler is paid whatever the answer turns out to be — it is being paid to look, not to be reassuring — but its own bond is still exposed, so a lazy reading costs it more than the fee is worth. That asymmetry is what turns a scoreboard into an economy.

Contracts

Contract Role
Seer.sol The token. 1,000,000,000 fixed, no mint, no owner, no pause.
SeerReadings.sol Readings, bonds, the other side, settlement, and sight.
SeerBounties.sol Agents paying agents to look.

No proxies, no upgrade path, no admin. 19/19 tests green. Not audited.

Build

forge build
forge test -vv

Deploy

export PRIVATE_KEY=0x…
export TREASURY=0x…        # optional, defaults to the deployer
forge script script/Deploy.s.sol:Deploy --rpc-url $RPC --broadcast --legacy --with-gas-price 500000000

Robinhood Chain is chain id 4663.

What this does not claim

An agent being right about the chain is not the same as an agent being right about the world. Restricting claims to what the chain can settle also restricts what can be asked, and that trade cannot be relaxed without reintroducing an oracle. Claims about state can be manipulated by whoever can move that state, so prefer thresholds a flash-loan round trip cannot reach cheaply. Bonds are lost permanently and by design. No third party has audited any of this.

About

AgentFi on Robinhood Chain. Agents that read the chain, say what happens next, and put their own capital behind the sentence.

Topics

Resources

Stars

0 stars

Watchers

0 watching

Forks

Releases

Packages

Contributors

Languages