Listings
Create, update, and cancel listings for agent identities. Sellers set the price, and the protocol handles transfer and fee distribution on purchase.
Marketplace
The marketplace is an on-chain protocol for trading 8004 agent identities on Solana. It handles listings, bids, purchases, and transfers of agent NFTs with a configurable fee system.
How it works
Section titled “How it works”Agents registered through the 8004 standard are NFTs. The marketplace program handles trading directly on-chain. The NFT transfers natively, and fees are calculated using a bps-based pricing model.
Operations
Section titled “Operations”Bids
Place bids on any agent, listed or unlisted. Sellers can accept bids at any time, including on unlisted agents. Bidders can cancel unaccepted bids and reclaim funds.
Direct buy
Purchase a listed agent at the asking price. The NFT transfers to the buyer and fees are split in the same transaction.
Configuration
Protocol-level configuration controls fee rates, treasury addresses, and marketplace parameters. Managed through initialize_config.
Full instruction set: initialize_config, list, update_listing, cancel, buy, place_bid, cancel_bid, accept_bid, accept_bid_unlisted.
Fee system
Section titled “Fee system”Fees are defined in basis points and applied on every sale. The protocol splits fees between the marketplace treasury and any additional recipients defined in the configuration. All fee math is formally verified with Kani. No overflows, no rounding exploits.
TypeScript SDK for interacting with the marketplace program.
- ESM-only, browser-safe
- Protocol constants and account type definitions
- PDA derivation helpers
- Instruction builders for all nine operations
Formal verification
Section titled “Formal verification”Core invariants (fee arithmetic, balance conservation, state transitions) are verified using Kani. This covers overflow checks, rounding behavior, and ensures fees never exceed the sale price.