← All skills

verify-task-tombstones

95 / 100 · Low risk

Fine to try.

By vscarpenter/gsd-task-manager (GitHub) · productivity · 40 stars · scanned at commit 0f9eaf1

Model-checks, with TLA+ and TLC, where one task id lives on the web app (tasks, archivedTasks, deletedTasks, and the server) and every move between them, local or from sync, so a change can't put a task in two tables, bring a deleted task back, strand a newer edit in Trash, or lose a task you kept. Use when a change touches lib/archive.ts, lib/trash.ts, lib/use-auto-archive.ts, lib/tasks/crud/delete.ts, restore.ts, or helpers.ts (runTaskSyncTransaction), lib/tasks/import-export.ts (importTasks,…

Works with any agent that supports SKILL.md skills.

What this skill can do

Install

Paste this into your terminal. It downloads exactly the version we scanned, not whatever is newest.

if [ -e ~/.agents/skills/'verify-task-tombstones' ] || [ -L ~/.agents/skills/'verify-task-tombstones' ]; then echo 'A skill folder named verify-task-tombstones already exists — not replacing it' >&2; false; else d=$(mktemp -d) && git clone --quiet --filter=blob:none --no-checkout 'https://github.com/vscarpenter/gsd-task-manager' "$d" && git -C "$d" checkout --quiet '0f9eaf1b2ab0b448a67e833710e6a39a3b5660bf' -- '.claude/skills/verify-task-tombstones' && mkdir -p ~/.agents/skills && cp -R "$d"/'.claude/skills/verify-task-tombstones' ~/.agents/skills/'verify-task-tombstones' && rm -rf "$d"; fi

Codex reads ~/.agents/skills directly. For Claude Code, Cursor, Copilot, Gemini CLI, Antigravity or OpenCode, also link it. For Claude Code: ln -s ~/.agents/skills/'verify-task-tombstones' ~/.claude/skills/'verify-task-tombstones' (other agents: ~/.cursor/skills, ~/.copilot/skills, ~/.gemini/skills, ~/.gemini/config/skills, ~/.config/opencode/skills). Or install through the finder skill, which does both.

Badge for your README

The badge for vscarpenter/gsd-task-manager shows the score of its lowest-scoring skill.

[![SkillTrust](https://zalavijaysinh.github.io/skilltrust/badges/vscarpenter/gsd-task-manager.svg)](https://zalavijaysinh.github.io/skilltrust/repos/vscarpenter/gsd-task-manager/)

Score history