AGENT SKILLS · 任务装备 / backnotprop

backnotprop · Agent Skills

60 skills with substantive source documentation and an official publisher or observed installation demand. Read each skill’s original documentation through its card.

backnotprop

社区

ketchup

Catch the user up on what changed in this chat since their last message, in plain words and small visuals. List every item waiting on them with what they need to decide it from the reply alone. Use for /ketchup.

安装量: 9
GitHub Stars: 2417
最近更新: 10月20日

maintain-verification-skill

Periodic pass that keeps a project's verification skill and feature map honest: parallel source readers per feature, one live session driving every feature, at most one PR of proven corrections. Use for /maintain-verification-skill or \"audit the verify skill\".

安装量: 9
GitHub Stars: 2417
最近更新: 10月20日

make-bot-ui

Use when building a custom UI (page, dashboard, buttons) that should wake a Grok Bot over a webhook, when the user must provide a webhook sender key, or when exposing that UI on Tailscale.

安装量: 9
GitHub Stars: 2417
最近更新: 10月20日

no-comments

Spawn Comment Sicko, fix accepted findings, and offer encodings for claimed constraints.

安装量: 9
GitHub Stars: 2417
最近更新: 10月20日

principle-attack-the-premise

Apply when two or more fixes that share one premise have failed the same gate. Write the premise down and test it directly before you write another fix that assumes it.

安装量: 9
GitHub Stars: 2417
最近更新: 10月20日

principle-build-the-lever

Apply to any non-trivial work, not just bulk work: edits, migrations, analyses, checks. Build the tool that does it or proves it (codemod, script, generator, or a skill your subagents follow) instead of working by hand. The tool is the artifact a reviewer can rerun.

安装量: 9
GitHub Stars: 2417
最近更新: 10月20日

principle-experience-first

Apply when product, UX, or feature-scope tradeoffs come up. Choose user delight over implementation convenience; ship fewer polished features over more rough ones.

安装量: 9
GitHub Stars: 2417
最近更新: 10月20日

principle-foundational-thinking

Apply before writing logic: choosing core types and data structures, sequencing scaffold-vs-feature work, asking what concurrent actors share. Get the data structures right so downstream code becomes obvious.

安装量: 9
GitHub Stars: 2417
最近更新: 10月20日

principle-minimize-reader-load

Apply when reviewing or shaping code that's hard to trace. Count layers between question and answer, and hidden state in the reader's head; collapse one-caller wrappers and shrink mutable scope.

安装量: 9
GitHub Stars: 2417
最近更新: 10月20日

principle-model-the-domain

Apply when writing stateful logic, or when code branches a lot or repeats a shape assumption across files.

安装量: 9
GitHub Stars: 2417
最近更新: 10月20日

principle-never-block-on-the-human

Apply when tempted to ask 'should I do X?' on reversible work.

安装量: 9
GitHub Stars: 2417
最近更新: 10月20日

principle-redesign-from-first-principles

Apply when integrating a new requirement into an existing design.

安装量: 9
GitHub Stars: 2417
最近更新: 10月20日

show-me-your-work

Keep a reviewable decision trail for long-running or unattended work: a TSV log with one row per decision (what, why, evidence, result). Local by default; commit it when a reviewer needs the trail to trust the result. Use for /show-me-your-work, autonomous or multi-phase runs, or work a human reviews after stepping away.

安装量: 9
GitHub Stars: 2417
最近更新: 10月20日

teach

Explain a body of work plainly so a person actually understands it. Runs the how and why skills and weaves what they find into one clear explanation. Use for 'teach me this', 'help me really understand X', 'explain this change or subsystem to me'.

安装量: 9
GitHub Stars: 2403
最近更新: 10月19日

typescript-best-practices

TypeScript best practices. Use when reading or editing any .ts or .tsx file.

安装量: 9
GitHub Stars: 2417
最近更新: 10月20日

maintain-formal-verification-skill

Bring a project's formal verification back in line with the code after the code changes: find the commits that touched verified code, update the model, harness, or properties to describe the code as it is now, rerun, and say whether each failure is drift in the verification or a bug in the code. Use for /maintain-formal-verification-skill, \"is the model still true to the code\", or after merges and refactors that touched verified code without rechecking it.

安装量: 8
GitHub Stars: 2403
最近更新: 10月19日

recall

Reconstruct your recent working context from your own chat history, live state, and the shared record (user reports, prior fixes, incidents), then hand back a tight current-state brief. Use for 'recall my work on X', 'catch me up', 'what have I been working on', 'where did I leave off', before starting or resuming work.

安装量: 8
GitHub Stars: 2417
最近更新: 10月20日

tdd

Use only when the user explicitly asks for TDD, a failing test, or a regression test, OR when the bug has an obvious cheap local test target. Skip when the test path is unclear, expensive, integration-heavy, or not requested.

安装量: 8
GitHub Stars: 2417
最近更新: 10月20日

status

Render the state of the work in flight as an ASCII status board in the terminal, instead of a status paragraph.

安装量: 6
GitHub Stars: 139
最近更新: 10月15日

plannotator-compound

Analyze a user's Plannotator plan archive to extract denial patterns, feedback taxonomy, evolution over time, and actionable prompt improvements — then produce a polished HTML dashboard report. Falls back to Claude Code ExitPlanMode denial reasons when Plannotator data is unavailable.

安装量: 4
GitHub Stars: 9627
最近更新: 10月25日

plannotator-setup-goal

Turn an idea or objective into a goal package for /goal. Interviews the user, builds a reviewed fact sheet via Plannotator, then explores the codebase to produce an execution plan.

安装量: 4
GitHub Stars: 9627
最近更新: 10月25日

plannotator-visual-explainer

Generate self-contained HTML visualizations with Plannotator theming. Use for implementation plans, PR explainers, architecture diagrams, data tables, slide decks, and any visual explanation of technical concepts. Plans and PR explainers follow Plannotator's prescriptive approach; all other visual content delegates to nicobailon/visual-explainer.

安装量: 4
GitHub Stars: 9627
最近更新: 10月25日

create-formal-verification-skill

Generate a project-local skill that formally verifies the code where a bug costs the most and tests reach the least, in any language, with whichever verification tool fits. Use for /create-formal-verification-skill, \"model-check this race\", \"prove this invariant\", or when concurrency, retries, state machines, parsers, or unsafe code need more than tests.

安装量: 3
GitHub Stars: 2704
最近更新: 10月24日

poteto-help

Guides users through pstack setup, /poteto-mode, and picking the skill, playbook, or principle for a task. Type /poteto-help with a question.

安装量: 3
GitHub Stars: 2704
最近更新: 10月24日

MIT3 文件

查看详情 →