catalog / games

Minesweeper

Uncover every safe cell on a mined grid using neighbour counts.

17 capabilities 2 sections reference specification

Build against it

# give your agent the catalog — no account, no install
claude mcp add provespec -- npx -y provespec-mcp

# then, from any agent session
spec_get(slug: "minesweeper")                → the capability tree
spec_checklist(slug: "minesweeper")          → the questions to answer
spec_grade(slug: "minesweeper", grades: [...])  → parity % + the gap list

# or just fetch it
curl https://provespec.com/catalog/minesweeper/spec.json

Grade every capability below as yes · partial · no · na, with a file reference as evidence. Whatever you leave ungraded counts as missing — the gap list is the work queue.

Or just paste this to your agent

Use the ProveSpec MCP server. Fetch the "minesweeper" spec with
spec_get, then walk spec_checklist and grade this repository against it —
one verdict per capability, each with a file reference as the note.
Call spec_grade with the results and give me the gap list as the plan.

If the server is not registered, add it first:
  claude mcp add provespec -- npx -y provespec-mcp

The specification

AI 12

Board
  • Grid of configurable size and mine count beginner/intermediate/expert plus custom
  • Mines placed after the first click the first click is never a mine
  • Neighbour mine count per cell 0–8
Reveal
  • Reveal a cell hitting a mine ends the game
  • Flood-fill empty regions revealing a 0 cell opens its neighbours transitively
  • Chord on a satisfied number reveals unflagged neighbours when flags match the count
Marking
  • Flag and question-mark a cell flagged cells cannot be revealed
  • Remaining mine counter mines minus flags, may go negative
End states
  • Win when all safe cells are revealed
  • Loss reveals all mines and marks wrong flags
Timing
  • Elapsed timer starts on first reveal
  • Best time per difficulty persists

UI 5

Grid
  • Covered, flagged and revealed cell states
  • Number colours by count 1 blue, 2 green, 3 red… the classic palette
Input
  • Left click reveals, right click flags long-press flags on touch
Status
  • Mine counter, timer, reset button
  • Difficulty selector
Download spec.json All 53 specs