Proof Desk.

Follow a single proof from the moment it is requested to the moment it settles, across every actor it touches on the way.

Estimate the cost and the time of a proof before you submit it. Turn the knob between cheap and fast and see where it lands.

A short, scored test on ZK proving and how a proof market is put together. Find the gaps before you pretend they are not there.

Watch a proof request route through the Matchmaker and land on the right machine. The layer that makes the whole market a single function call.

Settle the same event in two prediction markets at once. One resolves by code in seconds. The other waits on a committee, a dispute window, and a vote that can be overturned. Plus a live Flashcast dashboard.

A live board of every World Cup market running on Flashcast, ranked by volume. Each one resolves on-chain the moment the match decides it - no committee, no dispute window. A field dispatch while the tournament runs.

Meta is reportedly building Arena, a play-money prediction market where AI has the final say on what happened. A field study of the settlement question: committees, oracles, models - and outcomes proven on-chain. With the live Flashcast board alongside.

Fermah's applications board shows six slots: two live products and four shapes marked only "enabled by Kernel". A spec sheet for those four, each with an interactive panel you can drive - set the thresholds, break a step, compose your own workflow manifest.

A live model of the proof-market coordination gap, built on Fermah's own architecture. Drive the regime and load and watch utilization move from the low forties to the low nineties on the same machines. The engine is open source and runs in your browser, and it ships with a pull request to Fermah's docs.

A live, machine-callable proof-market surface an agent drives end to end. Press run and watch an agent read the market, compare coordination regimes, and compose a workflow that settles with zero humans in the loop. Backed by a real open-source MCP server you can attach to Claude or Cursor.

x402 revives HTTP 402 as a machine-payable handshake: an agent hits the proof surface, gets 402 with payment requirements, pays a stablecoin micropayment, retries, and a proof settles. No account, no API key, no human. The initiation primitive that pairs with the MCP surface, running live and open source.