Tetris

Falling tetrominoes — where the modern rules are far more specific than people expect.

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

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

Field

✓ Playfield of stated dimensions with hidden rows above 10×20 visible

Pieces

✓ Seven tetrominoes with defined spawn orientation I O T S Z J L
✓ 7-bag randomiser not pure random — every piece appears once per bag
✓ Next-piece preview queue
✓ Hold piece, once per drop

Rotation

✓ Super Rotation System with wall kicks SRS enables T-spins
✓ Kick tables applied in a defined order

Movement

✓ Soft drop and hard drop
✓ Delayed auto-shift and auto-repeat rate DAS / ARR tunable

Locking

✓ Lock delay with a reset limit stops infinite stalling

Clearing

✓ Clear full lines and shift above rows down
✓ Scoring for singles through tetris, with multipliers
✓ Back-to-back and combo bonuses
✓ T-spin detection and its scoring

Progression

✓ Level increases gravity on a stated curve

End

✓ Top-out condition defined block-out and lock-out

UI 3

Board

✓ Ghost piece showing the landing position
✓ Next queue and hold slot visible

Feel

✓ Input latency low enough for the DAS settings to matter

Download spec.json All 100 specs