backnotprop/pstack 已索引

源文件证据覆盖

已存储的包版本在这个仓库中引用的固定源文件的原始计数。它反映已记录了什么，不代表仓库有多完整。

引用了 61 个固定源文件

• 61 已知
• 0 提交中不存在
• 0 文件列表截断
• 0 不受支持
• 0 尚无记录
• 0 读取失败

按仓库、提交和路径去重；同一路径出现在两个提交中，按两个文件身份计数。不是组件组数。

读取失败的提交 0

尚无记录的文件没有对应的提交读取失败记录。

关联的包 61

按仓库的已验证身份关联。数量是历史登记记录，不是当前可用性。

第 1–20 条，共 61 条结果

• architect技能

  Sketch types, signatures, and module structure before code, then stay in the loop while implementation fills in. Use for /architect, 'architect this', 'design this', or non-trivial work where jumping to code would lock in the wrong shape.

  25abb38559dd

• arena技能

  Spawn N parallel candidates at the same task, pick a base, graft the strongest parts of the losers into it. Use for /arena, 'arena this', 'throw it in the arena', or when one attempt at a non-trivial artifact would lock in the wrong shape.

  25abb38559dd

• automate-me技能

  Use for "automate me", "create/update/refresh my -mode skill", "turn/capture my preferences or working style into a skill", or wanting agents to follow how the user works. Drafts or revises a personal -mode skill via create-skill + unslop,…

  25abb38559dd

• benchmark-checklist技能

  Vet a perf measurement (limiter, tuning, limits, errors, repeatability, relevance, and whether the work happened) before you report or act on it. Use when you run a benchmark or report a speedup or regression you measured.

  25abb38559dd

• blast-radius技能

  Find what a change could break somewhere else before it ships, beyond the diff, and prove the one fact it's safe because of by running real code instead of writing it up. Use for 'blast radius of X', 'what could this break', or reviewing a…

  25abb38559dd

• bro技能

  Restate the last message in plain human language, with no jargon.

  25abb38559dd

• correct技能

  Find the mistakes agents keep repeating in this repo and make each one impossible. Try architecture first, then types, then a lint whose error names the fix, then a test, and write docs last. Prove each check fails on a real past mistake. …

  25abb38559dd

• 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"…

  25abb38559dd

• create-verification-skill技能

  Generate a project-local verification skill that drives your app the way a user does — any language, framework, or platform. Use for /create-verification-skill, "make a control skill for this repo", or when a project has no scripted way to…

  25abb38559dd

• figure-it-out技能

  Design an auditable playbook when no narrower one fits: a large migration, an ambitious multi-part change, or work a human reviews after stepping away. Scales rigor to the task, runs a hypothesis loop, and logs decisions. Use for /figure-i…

  25abb38559dd

• how技能

  Use for "how does X work", code walkthroughs before changing something, and placement / ownership / layering questions ("where should this live", "which package owns this", "is this the right layer"). Explains subsystem architecture, runti…

  25abb38559dd

• in-your-own-words技能

  Restate in your own words what you think the user's goals are and what problem they're trying to solve. Use for /in-your-own-words.

  25abb38559dd

• interrogate技能

  Use for "interrogate", "adversarial review", "multi-model review", "challenge this", "stress test this code", "find blind spots", or "tear this apart". Adversaries try to break a change or design, and only findings proven by a run survive.

  25abb38559dd

• 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.

  25abb38559dd

• ketchup-video技能

  Catch the user up like /ketchup, with a short subtitled video of slides for what happened and the waiting calls as text under it. Use for /ketchup-video.

  25abb38559dd

• 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 f…

  25abb38559dd

• 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 "aud…

  25abb38559dd

• 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.

  25abb38559dd

• no-comments技能

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

  25abb38559dd

• 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.

  25abb38559dd

已保存的扫描说明 0

没有保存额外的扫描说明。

记录的别名 0

这些名称在上次记录时指向这个仓库。这是记录下来的解析结果，不是实时的 GitHub 检查；本站不会因此合并包或元数据。

没有记录到指向这个仓库的别名。

不支持的市场条目 0

这个仓库的市场清单里、本站暂不支持的条目。它们是原样保存的来源数据，不会被抓取或执行。

没有记录到不支持的条目。