Show HN: Minebender – Minesweeper in Bend2 with proven no-guess assist

Minebender is a Minesweeper implementation in Bend2 that guarantees no‑guess play through a proven assistance system. To adopt it, simply clone the repo, instal