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.
- Installationen
- 9
- GitHub Stars
- 2417
- Aktualisiert
- 20. Okt.
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\".
- Installationen
- 9
- GitHub Stars
- 2417
- Aktualisiert
- 20. Okt.
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.
- Installationen
- 9
- GitHub Stars
- 2417
- Aktualisiert
- 20. Okt.
backnotpropno-comments
Spawn Comment Sicko, fix accepted findings, and offer encodings for claimed constraints.
- Installationen
- 9
- GitHub Stars
- 2417
- Aktualisiert
- 20. Okt.
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.
- Installationen
- 9
- GitHub Stars
- 2417
- Aktualisiert
- 20. Okt.
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.
- Installationen
- 9
- GitHub Stars
- 2417
- Aktualisiert
- 20. Okt.
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.
- Installationen
- 9
- GitHub Stars
- 2417
- Aktualisiert
- 20. Okt.
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.
- Installationen
- 9
- GitHub Stars
- 2417
- Aktualisiert
- 20. Okt.
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.
- Installationen
- 9
- GitHub Stars
- 2417
- Aktualisiert
- 20. Okt.
backnotpropprinciple-model-the-domain
Apply when writing stateful logic, or when code branches a lot or repeats a shape assumption across files.
- Installationen
- 9
- GitHub Stars
- 2417
- Aktualisiert
- 20. Okt.
backnotpropprinciple-never-block-on-the-human
Apply when tempted to ask 'should I do X?' on reversible work.
- Installationen
- 9
- GitHub Stars
- 2417
- Aktualisiert
- 20. Okt.
backnotpropprinciple-redesign-from-first-principles
Apply when integrating a new requirement into an existing design.
- Installationen
- 9
- GitHub Stars
- 2417
- Aktualisiert
- 20. Okt.
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.
- Installationen
- 9
- GitHub Stars
- 2417
- Aktualisiert
- 20. Okt.
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'.
- Installationen
- 9
- GitHub Stars
- 2403
- Aktualisiert
- 19. Okt.
backnotproptypescript-best-practices
TypeScript best practices. Use when reading or editing any .ts or .tsx file.
- Installationen
- 9
- GitHub Stars
- 2417
- Aktualisiert
- 20. Okt.
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.
- Installationen
- 8
- GitHub Stars
- 2403
- Aktualisiert
- 19. Okt.
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.
- Installationen
- 8
- GitHub Stars
- 2417
- Aktualisiert
- 20. Okt.
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.
- Installationen
- 8
- GitHub Stars
- 2417
- Aktualisiert
- 20. Okt.
backnotpropstatus
Render the state of the work in flight as an ASCII status board in the terminal, instead of a status paragraph.
- Installationen
- 6
- GitHub Stars
- 139
- Aktualisiert
- 15. Okt.
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.
- Installationen
- 4
- GitHub Stars
- 9627
- Aktualisiert
- 25. Okt.
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.
- Installationen
- 4
- GitHub Stars
- 9627
- Aktualisiert
- 25. Okt.
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.
- Installationen
- 4
- GitHub Stars
- 9627
- Aktualisiert
- 25. Okt.
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.
- Installationen
- 3
- GitHub Stars
- 2704
- Aktualisiert
- 24. Okt.
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.
- Installationen
- 3
- GitHub Stars
- 2704
- Aktualisiert
- 24. Okt.