Sokoban
The puzzle game where correctness was not enough. Every level carries a proof of solvability and its minimum push count, the harder levels were mined by reverse play and curated by solver difficulty, and the HUD shows the proven minimum next to your count while you play.
Godot · every level proven solvable
arrows / WASD or swipe · Z undoes · R restarts · the title screen is the solver playing its own solution
How to play
- arrows or wasd push · swipe on mobile
- z or u undoes, r restarts
- [ and ] jump between unlocked levels
- a crate tinted red is provably stuck: undo or restart
Changelog
- 2026-07-09·Round-three levels from playtest-informed mining, pixel art, and crate-landing juice.