catalog / apps

Music Player

Library, queue and playback that behaves when the network or the file does not.

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

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

Library
  • Scan and index files with metadata ID3, Vorbis comments
  • Album, artist, album-artist and compilation handling the compilation problem
  • Artwork extracted or fetched
  • Detect moved, renamed and deleted files
Playback
  • Gapless playback between tracks
  • Crossfade and replay gain
  • Seek, speed and format support FLAC, MP3, AAC, Opus
  • Output device selection and change without stopping
Queue
  • Play next, add to queue, and a visible up-next list
  • Shuffle that does not repeat until exhausted true shuffle, not random
  • Repeat one, repeat all
Playlists
  • Create, reorder, and smart playlists from rules
State
  • Resume where playback stopped, after restart
  • Play counts and last-played recorded

UI 4

Now playing
  • Artwork, position, remaining time, waveform or scrubber
Controls
  • Media keys and OS-level integration
Browse
  • Search across library with instant results
  • Keyboard navigation throughout
Download spec.json All 85 specs