Play
Real games, running right here
Nothing on this page is a video. Each card is the actual example from the repo, running on the engine in your browser — and each ships a verify suite that machine-proves its claims before it's allowed here.
2D Platformer
Small Flame
Hold to rise on your fuel, drift the gusts, reach the lantern. Momentum, coyote time and a bot that beats every level before you see it.
bot-beaten · deterministic
Play itMobile Puzzle
Lumen
Drag a spark, set off a chain reaction of light. Every board is generated, solver-proven winnable, and served on an Elo ladder that fits you.
solver-proven · generated
Play itMusic toy
Hayabox
The consort in a box: six synthesised courtiers, one groove. Wake any subset and every join lands on the downbeat — no combination can clash, and that's proven, not hoped.
linter-proven · zero audio files
Play itThe classic
Sokoban
The 1982 box-pusher as the repo's reference example — pure rules, snapshot undo, and the cleanest showing of the logic/view split.
solver-proven · golden replay
Play itTake one with you
The Coin
A whole game as one self-proving HTML file — play it here, download it, re-prove its Seal with a single command. This is how Hayao games travel.
Experience itOn the bench
Tiny RTS
Faction asymmetry, wall-aware units, duel-proven counters — the third flagship is being rebuilt on the Regalia kit. It ships when its proofs pass, not before.
In the worksThe proof is the marketing
Not “trust me, an agent built this”
An agent built these, a human directed them, and the machine proof that they work ships in the repo: solvers that walk every level, golden replay hashes, bots that beat the campaign. Run npm run verify and check.