catalog / games

Snake

Grow a snake by eating food without hitting the wall or yourself.

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

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

World
  • Grid of cells with a wrapping or walled boundary the choice is a rule variant
Snake
  • Body as an ordered list of cells head first
  • Move one cell per tick in the current direction
  • Direction changes cannot reverse onto the neck
  • Queued turns are applied one per tick two keys in one tick must not skip a direction
Food
  • One food item at a random free cell never under the snake
  • Eating grows the snake by one and respawns food
Speed
  • Tick interval decreases as the snake grows or a selectable speed
End states
  • Collision with self ends the game
  • Collision with wall ends the game when walls are enabled
Scoring
  • Score per food, high score persists
Control
  • Pause and resume

UI 4

Board
  • Snake, food and boundary rendered per tick
Input
  • Arrow keys, WASD and swipe
Status
  • Score, high score, game-over overlay
Feel
  • Smooth motion at the chosen tick rate no visible stutter at 10+ ticks/s
Download spec.json All 53 specs