backnotprop
60 skills with substantive source documentation and an official publisher or observed installation demand. Read each skill’s original documentation through its card.
backnotpropketchup
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日
backnotpropmaintain-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日
backnotpropmake-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日
backnotpropno-comments
Spawn Comment Sicko, fix accepted findings, and offer encodings for claimed constraints.
- 導入数
- 9
- GitHub Stars
- 2417
- 更新日
- 10月20日
backnotpropprinciple-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日
backnotpropprinciple-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日
backnotpropprinciple-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日
backnotpropprinciple-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日
backnotpropprinciple-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日
backnotpropprinciple-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日
backnotpropprinciple-never-block-on-the-human
Apply when tempted to ask 'should I do X?' on reversible work.
- 導入数
- 9
- GitHub Stars
- 2417
- 更新日
- 10月20日
backnotpropprinciple-redesign-from-first-principles
Apply when integrating a new requirement into an existing design.
- 導入数
- 9
- GitHub Stars
- 2417
- 更新日
- 10月20日
backnotpropshow-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日
backnotpropteach
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日
backnotproptypescript-best-practices
TypeScript best practices. Use when reading or editing any .ts or .tsx file.
- 導入数
- 9
- GitHub Stars
- 2417
- 更新日
- 10月20日
backnotpropmaintain-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日
backnotproprecall
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日
backnotproptdd
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日
backnotpropstatus
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日
backnotpropplannotator-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日
backnotpropplannotator-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日
backnotpropplannotator-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日
backnotpropcreate-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日
backnotproppoteto-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日