catalog / apps

Pomodoro Timer

Work/break cycles with notifications, skip/reset and session history.

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

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

Timer
  • Work/short-break/long-break cycle 25/5/15 default long break every 4th work session
  • Configurable durations persisted
  • Accurate under background tabs/sleep timestamp-based not setInterval drift
  • Auto-start next phase (optional) toggle
Sessions
  • Session log completed/abandoned, timestamps, optional task label
  • Daily/weekly stats streaks
Alerts
  • End-of-phase notification + sound mutable

UI 5

Timer
  • Large countdown with phase color work vs break visually distinct
  • Start / pause / skip / reset space toggles
  • Cycle progress dots 4 dots
  • Time in tab title / tray
Stats
  • Today count + weekly chart
Download spec.json All 53 specs