Productivity & Workflow Agent Skills for Devin Desktop

Stress-test a consequential idea, proposal, or decision by surfacing hidden assumptions, steelmanning the strongest case for and against…

Observe the user's screen via screenpipe, detect repeated research workflows, match them against existing scientific-agent-skills, and…

Use when the user asks for cleanup beyond incidental touched-file polish: explicit human-reviewability cleanup for…

Use when one user-owned repo-backed decision needs live grilling while its domain meaning, invariants, or relationships are kept current…

Grill one bounded user-owned or approved caller-owned decision until shared understanding is confirmed.

Compact the live thread into one verified local continuation packet for a fresh Codex context that can access the same work root.

Deliver one explicitly selected bounded ready item through a small, sound implementation and proportionate proof.

Use when entering an unfamiliar repo, adopting this skill pack in a repo, resuming work when stale commands/instructions/context matter…

Route only an explicit next-skill selection request or a terminal out-of-scope residual packet delegated by another skill.

Explicitly turn one named settled source into one verified durable parent specification; exclude shaping, ticket slicing, implementation…

Chart or advance one finite tracker-backed route from a bounded foggy destination to coherent settled source for a specification.

Create one repository-native interactive script for a bounded, settled procedure with at least two dependent stages only the current human…

Use when the user wants to set auto-routing mode: on (every task-shaped message routes), auto (intent-verb messages route — default), or…

Use when converting a STOC (ACM Symposium on Theory of Computing) acceptance into publishable form — the ACM proceedings version…

Use when hardening a STOC (ACM Symposium on Theory of Computing) paper so its results can be independently checked — proof completeness…

Use when auditing a STOC (ACM Symposium on Theory of Computing) submission for HotCRP readiness — the abstract + table-of-contents +…

Use when planning a STOC (ACM Symposium on Theory of Computing) project calendar — backward planning to the early-November deadline, the…

Manually-invoked skill that stops overthinking and forces a short, practical decision.

Create, link, and synchronize user stories with epics providing bi-directional linking between UserStories.md and ToDos.md

Strategic pre-code planning for a single feature or goal: explore the codebase, clarify requirements, weigh approaches, and produce a…