Todo CLI

Manage a task list from the terminal, with output humans and scripts can both read.

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

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

Commands

✓ Add a task todo add "buy milk" returns the new id
✓ List tasks with filters --done --tag work --due today
✓ Complete and reopen a task
✓ Edit and delete a task delete confirms or takes --force

Model

✓ Tags, priority and due date
✓ Sub-tasks or projects
✓ Stable ids that survive deletion ids are not reused

Storage

✓ Plain-text or JSON file in a known location respects XDG or --file
✓ Atomic writes no truncated file on crash

Output

✓ Human table by default aligned, colourised when a TTY
✓ --json for machine consumption stable field names
✓ Colour disabled when piped or NO_COLOR is set

✓ Exit codes distinguish failure kinds 0/1/2 not-found is not a crash
✓ --help on every command with examples
✓ Shell completion bash, zsh, fish
✓ Reads stdin when piped for bulk add

Download spec.json All 53 specs