Bombe

Minesweeper, but you only solve each situation once.

Regions (number bubbles connected by lines) generated from clues on the board. Rules act on regions to mark bombs, clear squares or create new regions. A checker tells you if your rule is formally correct.