catalog / apps

TodoMVC

The canonical todo app — the reference specification every framework implements.

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

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

Model
  • ✓ Todo item shape id, title, completed unique id per todo
  • ✓ Add todo trimmed title; empty input is ignored
  • ✓ Edit todo title empty result deletes the todo
  • ✓ Toggle completed per item
  • ✓ Toggle all sets all to the same state; unchecks when all complete
  • ✓ Delete todo
  • ✓ Clear completed removes all completed items
Persistence
  • ✓ Todos survive reload localStorage or equivalent local store
Routing
  • ✓ Filter routes #/, #/active, #/completed filter state in the URL, restored on load

UI 11

List
  • ✓ Render todos per active filter
  • ✓ Hide chrome when list empty main section and footer hidden with no todos
New todo input
  • ✓ Focus on load autofocus
  • ✓ Enter adds and clears input
Item
  • ✓ Double-click enters edit mode input focused, caret at end
  • ✓ Enter/blur commits, Escape cancels
  • ✓ Completed styling strikethrough
  • ✓ Destroy button on hover
Footer
  • ✓ Active items counter "N items left" correct singular/plural
  • ✓ Filter links with selected state All / Active / Completed
  • ✓ Clear-completed visibility shown only when completed items exist
Open in Parity → Download spec.json All 102 specs