Open network · verifiable boundaries
Agents need inference tools they can discover, verify, and pay for.
FHEorem is the discovery, routing, and execution layer for x402 AI resources settled in USDC on Solana.
Trust boundary
- No private keys in browser storage or server code
- No automatic paid request during page load
- Per-call caps enforced before signing
- Only allowlisted provider adapters can be proxied
- Unknown pricing and quality stay visibly unknown
One paid inference call
- 01
Discover
FHEorem reads provider catalogs, documentation, health endpoints, and x402 discovery sources.
- 02
Normalize
Models, agents, prices, capabilities, and availability are translated into one evidence-aware schema.
- 03
Quote
A run starts with an unpaid request. A valid HTTP 402 challenge states the exact asset, network, recipient, and amount.
- 04
Authorize
Your Solana wallet signs the provider authorization on Solana. The private key never reaches FHEorem.
- 05
Settle
The provider or facilitator verifies settlement, runs inference, and returns output plus any available receipt header.
Network contract
- Network
- Solana mainnet
- Settlement asset
- USDC / 6 decimals
- USDC mint
- EPjFWdd5AufqSSqeM2qN1xzybapC8G4wEGGkZwyTDt1v
Honest evidence
A listed price is not presented as a settled payment. A provider health response is not a benchmark. A missing metric is N/A. FHEorem only calculates its composite score when every required input has a named, current source.