catalog / games

Conway's Game of Life

Cellular automaton: cells live, die and reproduce by neighbour count.

16 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: "game-of-life")                → the capability tree
spec_checklist(slug: "game-of-life")          → the questions to answer
spec_grade(slug: "game-of-life", grades: [...])  → parity % + the gap list

# or just fetch it
curl https://provespec.com/catalog/game-of-life/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 "game-of-life" 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

Rules
  • Live cell with 2 or 3 live neighbours survives
  • Live cell with fewer than 2 or more than 3 dies underpopulation and overcrowding
  • Dead cell with exactly 3 live neighbours is born
  • All cells update simultaneously a generation is computed from the previous one only
World
  • Finite grid with edge behaviour dead edges or toroidal wrap stated explicitly
  • Arbitrary starting pattern drawn, random or loaded
Run
  • Step one generation
  • Run continuously at a settable speed
  • Generation counter and population count
Patterns
  • Load named patterns glider, blinker, pulsar, gosper glider gun
  • Import and export RLE the standard interchange format
Detection
  • Detect a still life or extinction stops the run

UI 4

Canvas
  • Grid rendered with live/dead cells
  • Click and drag to toggle cells while paused or running
  • Pan and zoom
Controls
  • Play, pause, step, clear, randomise, speed
Download spec.json All 53 specs