catalog / goods

Mattress

A third non-software spec — the domain has no engine and no interface.

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

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

Construction 3

  • Type innerspring, foam, latex, hybrid
  • Layer composition and thickness cm per layer
  • Coil count, gauge and zoning where applicable

Feel 4

  • Firmness on a stated scale 1–10 and the scale defined
  • Sinkage and contouring
  • Edge support
  • Motion isolation between sleepers

Comfort 3

  • Heat retention and breathability the common foam complaint
  • Off-gassing period days
  • Suitability by sleeping position side, back, front

Build 3

  • Cover material, removable and washable
  • Flippable or single-sided
  • Weight and handles

Durability 2

  • Expected lifespan and sagging warranty threshold cm of indentation
  • Warranty length and what voids it

Purchase 2

  • Trial period and return logistics who pays for collection
  • Sizes and price per size

Certification 1

  • Foam and fire-safety certification CertiPUR, fire regs
Download spec.json All 100 specs