Every game here is a receipt. Each one was built to prove something about how AI builds software — each card says what it proves and how it was checked. Play them in any order; the Arcade remembers what you finished, your best scores, and where you left off.
Your record lives in this browser only. No account, nothing uploaded, nothing to sign up for.
These live on our sister site, so they play there — your Arcade record on this site can't follow you across (different site, different shelf). Each card says what the game is.