25 games, as AWM understood them
Each game was played from scratch. Hover over a game, or focus it, to watch its certified run; open it to see how AWM explained it, the rules it found, and the Lean check that the run wins every level.

ar25Select an object or separator band, push it, and cover every yellow target block with an object or its image.8 levels
bp35Move the player sideways, click to change terrain and gravity, and reach the pink cross to clear the level.9 levels
cd82Turn a cup around a container and pour colours until the container matches the target picture.6 levels
cn04Move and rotate pieces until every red plug shares a cell with another plug to clear the level.6 levels
dc22Walk on the map, click cards that change it, and walk into the yellow exit to clear the level.6 levels
ft09Click tiles to cycle their colours until every nine-grid matches the pattern drawn in its centre.6 levels
g50tMove a pawn and record stand-ins that replay your moves; the pawn walking into the end cell clears the level.7 levels
ka59Select shelled blocks and push blocks around until every block fits exactly into a frame.7 levels
lf52Peg solitaire: click pegs to jump and capture, and win a level when only one peg is left.10 levels
lp85Click arrows to move tile colours around until every socket holds the colour it wants.8 levels
ls20Walk a block to doors that match your key; walking into the last door clears the level.7 levels
m0r0Move two mirrored squares at once with the direction keys; landing both on one cell clears the level.6 levels
r11lClick diamonds to move them; the level is cleared when each group's jar presses on a locked target ring.6 levels
re86Push coloured objects around; the level is cleared when each ring centre is covered by a same-colour object.8 levels
s5i5Click to extend, retract and rotate coloured bars; the level is cleared when all tips land on diamond target centres.8 levels
sb26Fill board slots with colour bricks and guide rings so that, on submit, the read string matches the top.8 levels
sc25Steer a block and light large-panel cells to start machines; stepping into the socket clears the level.6 levels
sk48Stretch and slide ropes so each rope's target blocks match the colour order shown in the diagram.8 levels
sp80Move straight and corner pieces so launched water reaches every cup with no stream left on the board.6 levels
su15Click to move and merge pieces until everything to be handed in lands inside the rings.9 levels
tn36Write a program on a switch panel and submit it; the level clears when the piece exactly fills the socket.7 levels
tr87Turn glyph shapes in the answer bar; the level clears when it matches the question text rewritten by the legend.6 levels
tu93Move the player along bridges, avoiding sentries, patrols and chasers; walking onto the goal clears the level.9 levels
vc33Click buttons to move liquid between tanks; the level is won when every cursor's liquid is level with its mark.7 levels
wa30Drag every doughnut into a blue-framed container; the level is won when all sit there and nothing is carried.9 levels