FORCED

Minesweeper that never makes you guess — and shows you the proof.

dealing a fair board…

Every board is played to completion by a solver before you ever see it. If it needs a coin flip, it is thrown away. When you are stuck, it shows you the exact clue that forces the next move.

no ads/no account/no subscription/works offline
why this exists

The games that came free with your computer now want $1.99 a month.

Microsoft Solitaire charges $1.99/month to remove ads from a game that shipped free with Windows for decades. Its own support forum is full of 2026 threads from people who are paying and still get ads, reporting that they “keep getting longer and longer”. In 2024 the front page of Hacker News carried “Microsoft’s official Minesweeper app has ads, pay-to-win, and is hundreds of MB” — 389 points of agreement.

“I got sick of stuff like Solitaire and Hearts requiring subscriptions or coming with ads in 2026 — that stuff came with your computer in my youth and got enshittified. I hate seeing my family playing all this pesterware.”— Hacker News, 14 September 2026

This is that, minus all of it. One page, about 40KB, no network calls after it loads. The only thing added is the part Minesweeper always deserved: a guarantee that the board is winnable by thinking.

the guarantee

Proven, not promised.

Mines are placed, then the board is played out by the solver using nothing but forced moves. If it stalls anywhere, the layout is discarded and another is dealt. An expert board takes about eight tries and five milliseconds. The same solver runs the hint button, so the thing that guarantees the board is the thing that explains it.

satisfiedA number already touching all its mines — everything else it can see is clear.
exhaustedA number with exactly as many hidden neighbours as mines left. All of them are mines.
countingThe whole-board mine budget. Settles most endgames by itself.
subsetOne clue's cells sit entirely inside another's. Subtract them. This is where 1-2-1 lives.
enumerationEvery arrangement of mines that fits the clues is enumerated; whatever holds in all of them is forced.

Rules are tried cheapest first, so a hint is the simplest true explanation available rather than whatever a search found first. The solver’s soundness is checked against ground truth on every board it generates — 6,246 deductions across 120 random boards in the test suite, none of them wrong. If it ever cleared a mine or flagged a safe square, generation would throw rather than quietly ship a broken promise.