maintain-verification-skill

We split this skill into the rules it gives an agent

2 rules. 2 are common, 0 are distinctive, and 0 are very specific to this project.

• 2

  Common

  Most of the 66 edited versions we read keep these.

• 0

  Distinctive

  This author's own choices. Worth a look.

• 0

  Very specific

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

No licence file, so all rights are reserved — 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 66 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 versions66 projects use a version of this.

  Word for word · 0

  None found.

  Edited · 59

  1. backnotprop/pstack★ 3.3k88% same
  2. epam/ketcher★ 92786% same
  3. deadlock-mod-manager/deadlock-mod-manager★ 55988% same
  4. openwong2kim/wmux★ 44054% same
  5. jtaroreh/agystack★ 12869% same
  6. uzairansaruzi/p3-stack★ 12684% same
  7. Dimon94/dverity★ 10790% same
  8. Dimon94/skills★ 10790% same
  9. dsebban/skills★ 7185% same
  10. The-AIE/the-gibson★ 4388% same

  49 more not listed

  Wrote their own version · 7

  1. paperclipai/paperclip★ 110ksame name
  2. TheOnlyFusionCube/potetos-for-everyone★ 18same name
  3. kenxle/live-agentic-html-editor★ 5same name
  4. malinskibeniamin/skills★ 4same name
  5. matiopala/skills★ 2same name
  6. woodbeary/later-dog★ 2same name
  7. 3metaJun/mstack★ 0same name

  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 poteto-help, setup-pstack 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.

  • 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 14 projects that use this

  • bnemaSkill

    setup-pstack

    Configure which Pi models pstack uses per role. Detects available provider/model specs and writes pstack's user configuration. Use for /setup-pstack, "configure pstack models", or changing pstack model choices.

    Also in 26 projects that use this

  • ianclearySkill

    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 25 projects that use this

  • 3metaJunSkill

    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.

    Also in 9 projects that use this

  • Xia-AtaraxiaSkill

    make-bot-ui

    Builds a small web page whose buttons wake an agent over a webhook: a local server keeps the sender key server-side and POSTs JSON to a webhook-triggered routine, and the page is exposed on the existing Tailscale node. Use for \"make a bot UI\", \"a dashboard with buttons that trigger the agent\", \"wake the bot from a page\", handing a webhook sender key to the server without pasting it in chat, or putting that UI on the tailnet. Not for general frontend work - use principle-frontend; not for tailnet health or reachability - use tailscale.

    Also in 18 projects that use this

  • TheOnlyFusionCubeSkill

    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.

    Also in 15 projects that use this

• In this repository37 other files it gives its agents.

  • CLAUDE.mdCLAUDE.md
  • babysit-prsSkill
  • backend-developerSkill
  • code-slopSkill
  • codex-cliSkill
  • commitSkill
  • create-verification-skillSkill
  • daily-updateSkill
  • dreamSkill
  • elevateSkill
  • explain-plainlySkill
  • fixupSkill
  • frontend-developerSkill
  • gateSkill
  • gate-wfSkill
  • harness-reviewSkill
  • herdr-modSkill
  • humanizerSkill
  • innovateSkill
  • interviewSkill
  • investigateSkill
  • jev-verifySkill
  • orchestrateSkill
  • pr-challengeSkill
  • pr-commentSkill
  • pr-createSkill
  • pr-demoSkill
  • pr-explainSkill
  • pr-feedbackSkill
  • product-qaSkill
  • pr-respondSkill
  • pr-risk-scoreSkill
  • pr-shotsSkill
  • qa-planSkill
  • retrospectiveSkill
  • review-miningSkill
  • triage-findingsSkill