todo

A task-list system where each task records its purpose, measurable conditions for completion, and proof that those conditions were met. A task stays open until the quality check accepts the evidence.

In plain words
What is it for?
Adding, listing, inspecting, and closing development tasks in .procoder/todo/ with descriptions, acceptance criteria, and recorded evidence.
Why use it?
It prevents vague checklists and tasks being marked done without verification. The completion check makes missing requirements visible.

Command

Install

Getting it into your agent

One page per mod, every tool's command on it. A separate URL per tool would split the same page into five that compete with each other.

agentmods
npx agentmods add commands/azrtydxb/procoder/todo
Clone the repo
git clone --depth 1 https://github.com/azrtydxb/procoder
Per session 32 Only the description is in the session, so the agent can decide to use it. The body loads when it is invoked.
When invoked 707 The whole file, excluding the scripts and references it only reads on demand.
Security scan A 0 findings. Scan, not verified.
Origin original No closer match found in the catalogue.
Token cost

What it costs to keep this loaded

Counted locally with the o200k_base tokenizer, which is exact for GPT models; Claude uses its own tokenizer and its counts differ. Treat this as one consistent yardstick across the catalogue rather than a bill. Prices are per million input tokens.

ModelPer sessionOnce invoked
Fable 5 $0.00032 $0.00707
Opus 5 $0.00016 $0.00353
Sonnet 5 $0.00006 $0.00141
Haiku 4.5 $0.00003 $0.00071

Measured yesterday against content hash 6583b2d862d1, method: parsed. Prices are Anthropic first-party input rates as of 2026-08-30, from the pricing page.

Security

Grade A, and why

todo scanned grade A with 0 findings against 26 rules in 11 categories — prompt injection, anti-refusal, data exfiltration, privilege escalation, supply chain, agent snooping, system-prompt leakage, SSRF and excessive agency — measured yesterday.

A static scan of the body, not an audit. Every finding is printed with the line that produced it so you can judge whether it matters here. A mod is markdown that instructs an agent; that is exactly why what it instructs is worth reading.

Nothing flagged

None of the 26 patterns this scan looks for appear in this file: no shell pipes, no recursive deletes, no credential paths, no hidden text, no instruction-override or anti-refusal phrasing, no agent-config snooping. That is not a guarantee, it is the absence of the things that are checkable.

.kilo/commands/todo.md · 57 lines

What it actually says

The user invoked /procoder:todo with arguments:

The command below is the procoder binary on PATH.

Tasks live as Markdown files under .procoder/todo/, one file per task. This replaces throwaway checklists: every task carries a description that says what "done" looks like, acceptance criteria a reviewer could verify, and evidence of what proved them. procoder todo close is the quality controller — it REFUSES to close a task until every criterion is checked, the evidence is recorded, and the gate is clean. You do the work and the verification; the binary judges.

Subcommands (run the one matching the arguments; with no arguments, run list and report the open tasks):

  • procoder todo add <title> — prints the task file and its path. Write the file, then REPLACE the placeholders: a real description (why the task exists and what done looks like), and one - [ ] line per testable acceptance criterion. Do this before starting the work — criteria written after the fact just describe whatever happened.

  • procoder todo list — every task, open first.

  • procoder todo show <id> — the full task file.

  • procoder todo close <id> — the quality controller. Before running it: verify each criterion yourself (run the test, exercise the behaviour), check its box only when it is true, and fill ## Evidence with what you ran and what the output proved — one line per criterion. Then close. If it refuses, it names exactly what is missing: do that work, don't game the checkboxes. A checked box you did not verify is a lie the controller cannot catch — the evidence section exists so the user can.

    What counts as evidence — if you haven't run the verification command fresh, you cannot check the box:

    • "tests pass" = test output with 0 failures, from THIS state of the code — not an earlier run, not "should pass".
    • "bug fixed" = the test for the original symptom passes — and for a regression test, the red-green proof: revert the fix, watch the test FAIL, restore, watch it pass. A regression test never seen red proves nothing.
    • "build/lint clean" = the command's exit 0 and its output read, not extrapolated from a partial check.
    • a subagent's "done" = verified in the diff and by running its tests yourself — an agent's success report is a claim, not evidence.
    • "should", "probably", "seems to" in your evidence line means the box stays unchecked.

Rules:

  • Never edit Status: by hand — only todo close moves a task to closed.
  • Track every piece of multi-step work here, not in throwaway TodoWrite lists: these files survive the session and the user can read them.
  • When a spec exists (procoder spec list), seed tasks from its acceptance criteria — one task per coherent group, criteria copied in.
Changes

What this file has done since we first saw it

Hashed on every crawl. A supply-chain change to an agent config is a question of when, not whether, so the history is kept rather than the latest state alone.

  1. yesterday First seen · 57 lines · 32 tokens per session scan A 6583b2d862d1

Subscribe to this mod's changes

todo is a command published in the GitHub repository azrtydxb/procoder (196 stars, last pushed 2d ago), licensed Apache-2.0. It adds 32 tokens to every session and 707 once invoked, about $0.0002 per session on Opus 5. A static security scan graded it A with 0 findings. No closer match exists in the catalogue, so it is treated as the original; first seen 2026-08-30.