ketchup

We split this skill into the rules it gives an agent

1 rule. 0 are common, 1 is distinctive, and 0 are very specific to this project.

• 0

  Common

  Most of the 6 edited versions we read keep these.

• 1

  Distinctive

  This author's own choices. Worth a look.

• 0

  Very specific

  Tied to their project's names, files or tools. Probably skip.

Licensed with conditions — read it at the source. We count its rules but don't quote them. Read them on GitHub.

“Common” is measured: kept by at least 6 in 10 of the 6 edited versions of this file we could read. “Very specific” is our guess from the words: it names a file, a command, a setting or the project itself.

• Other versions17 projects use a version of this.

  Word for word · 0

  None found.

  Edited · 0

  None found.

  Wrote their own version · 17

  1. backnotprop/pstack★ 3.3ksame name
  2. jtaroreh/agystack★ 128same name
  3. dsebban/skills★ 71same name
  4. mariusflorescu/pstack-t3★ 9same name
  5. creedants/pstack-t3★ 8same name
  6. alexnthnz/keel★ 4same name
  7. anis-dr/skills★ 3same name
  8. lucasheriques/pstack★ 3same name
  9. fullerzz/agent-skills★ 2same name
  10. conscientiousness/herdr-pstack-orchestrator★ 1same name

  7 more not listed

  How matches are found. Word for word: the exact same text. Edited: shares passages with this file (“99% same” means 99% of its five-word phrases also appear here; 10% or more counts). Their own version: similar meaning, or, weakest, the same name. We can’t tell which project had it first. Projects are counted among the 200 most-starred candidates, and mentions are links to the repository we found, up to 50 per site, so both counts are a floor.

• Used alongsideProjects with it also use in-your-own-words, create-formal-verification-skill and 10 more.

  Other files people use alongside this one.

  How we pick theseFiles found in the same public projects as a version of this one, more often than they turn up anywhere else. Each project counts once, large collections count for less, and this file's own repository is left out.

  • alexnthnzSkill

    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 /keel:in-your-own-words.

    Also in 8 projects that use this

  • fullerzzSkill

    create-formal-verification-skill

    Generate a reusable project-local skill for model checking or proving code-linked properties. Use explicitly for /create-formal-verification-skill, model-checking a race, or proving an invariant; UI and service journey checks belong to create-verification-skill.

    Also in 4 projects that use this

  • ianclearySkill

    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.

    Also in 6 projects that use this

  • Xia-AtaraxiaSkill

    benchmark-checklist

    Vets performance measurements for the limiter, tuning, physical limits, errors, repeatability, relevance, and proof that timed work happened. It applies to 'check this benchmark', 'report this speedup', measured regressions, and choosing a library or configuration from numbers. It reports spread and gaps before drawing a conclusion. Not for general testing policy or choosing test oracles - use principle-testing.

    Also in 12 projects that use this

  • fullerzzSkill

    maintain-formal-verification-skill

    Refresh a project's formal checks after covered code changes, distinguish verification drift from product bugs, and retain per-check coverage checkpoints. Use explicitly for /maintain-formal-verification-skill or auditing whether a model still describes the code.

    Also in 3 projects that use this

  • juancamiloqhzSkill

    principle-explain-the-number

    Apply before you trust, report, or act on a number you measured: a speedup, a regression, a throughput, a latency, or an eval result. Find what limits it, and rule out that it measured something other than the work you think.

    Also in 10 projects that use this

• In this repository8 other files it gives its agents.

  • AGENTS.mdAGENTS.md
  • ui/AGENTS.mdAGENTS.md
  • CLAUDE.mdCLAUDE.md
  • ui/CLAUDE.mdCLAUDE.md
  • create_commit_msgSkill
  • rspecSkill
  • squash-migrationsSkill
  • update-gemsSkill