maintain-verification-skill
Skill41k starsChanged 4 days agoMITView on GitHub
Re-sync the project's verification skill when its commands drift — re-run each recorded command, update expectations and the feature map to what is true now, record the verdict actually earned.
68 other projects use a version of this.
Trending
Quiet since January.thin dataabout the whole repository
Most recently taken up by
- caidanw/skillstheir own version, first seen Nov 8, 2026
- Yeachan-Heo/oh-my-claudecodeword for word, first seen Nov 8, 2026
- tristanphvn/keeltheir own version, first seen Nov 8, 2026
- requie/endostacktheir own version, first seen Nov 8, 2026
- creedants/pstack-t3their own version, first seen Nov 3, 2026
- painhardcore/pstacktheir own version, first seen Nov 2, 2026
Who's talking about Yeachan-Heo/oh-my-claude-sisyphus
- A Hacker News story“Sisyphus Now Lives in Oh My Claude”Hacker News · Jan 11, 2026 · 52 points
- Yeachan-Heo/oh-my-claudecode“Silent update security issue”GitHub · Jan 10, 2026 · 1 reactions
- anthropics/claude-plugins-official“feat: Add oh-my-claude-sisyphus multi-agent orchestration plugin”GitHub · Jan 12, 2026
The biggest 3 of 3 mentions linking to the repository that our crawl found. Each line is their own headline.
Used with
Projects with it also use setup-pstack, poteto-help and 3 more.
Other files people use alongside this one.
Files 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.
bnemaSkillsetup-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 25 projects that use this
ianclearySkillpoteto-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
eryzerzSkillmake-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.
Also in 19 projects that use this
ianclearySkillprinciple-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 27 projects that use this
JoshueOsunaSkillPoteto Mode
poteto's agent style for concise, detailed responses, deliberate subagents, unslopped prose, simple code, and verified work. Use for poteto, /poteto-mode, or requests to work in this style.
Also in 3 projects that use this
Other versions68 projects use a version of this.
Word for word · 1
- Yeachan-Heo/oh-my-claudecode★ 41k100% same
Edited · 0
None found.
Wrote their own version · 67
- paperclipai/paperclip★ 112ksame name
- backnotprop/pstack★ 3.8ksame name
- epam/ketcher★ 932same name
- deadlock-mod-manager/deadlock-mod-manager★ 584same name
- openwong2kim/wmux★ 447same name
- jtaroreh/agystack★ 128same name
- uzairansaruzi/p3-stack★ 126same name
- Dimon94/dverity★ 107same name
- Dimon94/skills★ 107same name
- dsebban/skills★ 71same name
57 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.
In this repository90 other files it gives its agents.
- AGENTS.mdAGENTS.md
- docs/AGENTS.mdAGENTS.md
- skills/AGENTS.mdAGENTS.md
- src/AGENTS.mdAGENTS.md
- CLAUDE.mdCLAUDE.md
- docs/CLAUDE.mdCLAUDE.md
- .github/CLAUDE.mdCLAUDE.md
- commandsSkill
- agent-doc-disciplineSkill
- ai-slop-cleanerSkill
- architectSkill
- architecture-surveySkill
- arenaSkill
- ask-navigatorSkill
- askSkill
- autopilotSkill
- autoresearchSkill
- babysitSkill
- benchmark-checklistSkill
- blast-radiusSkill
- broSkill
- cancelSkill
- configure-notificationsSkill
- correctSkill
- create-formal-verification-skillSkill
- create-verification-skillSkill
- debugSkill
- deepinitSkill
- deep-interviewSkill
- diagramSkill
- drydockSkill
- executeSkill
- external-contextSkill
- figure-it-outSkill
- fix-ciSkill
- fix-merge-conflictsSkill
- get-pr-commentsSkill
- graphSkill
- harborSkill
- hillclimbSkill
- howSkill
- hudSkill
- intentSkill
- interrogateSkill
- in-your-own-wordsSkill
- ketchupSkill
- ketchup-videoSkill
- launchSkill
- loftSkill
- maintain-formal-verification-skillSkill
- mapSkill
- minimal-code-disciplineSkill
- minimal-prose-disciplineSkill
- modelsSkill
- omc-doctorSkill
- omc-setupSkill
- personal-modeSkill
- omc-planSkill
- principlesSkill
- project-session-managerSkill
- The first 60 shown.
The file
We split this skill into the rules it gives an agent
2 rules. 0 are common, 2 are distinctive, and 0 are very specific to this project.
0
Common
Most of the 67 edited versions we read keep these.
2
Distinctive
This author's own choices. Worth a look.
0
Very specific
Tied to their project's names, files or tools. Probably skip.
- Common
- Distinctive
- Very specific
- Distinctive: line 25
after a toolchain or CI migration
- Distinctive: line 57
If the project's verification has outgrown the single skill shape (multi- package, per-app checks), say so and split per surface rather …
“Common” is measured: kept by at least 6 in 10 of the 67 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.
Files
Maintain Verification Skill
A verification skill that names dead commands is worse than none: it fails
loudly on trivia and passes quietly on what matters. This skill re-syncs the
project's verify skill to the repo's current reality.
When to use
- verification errors on a command that no longer exists or was renamed
- a new surface (package, app, e2e suite) has no check recorded
- after a toolchain or CI migration
Workflow
- Audit the recorded skill: list every command and manual check it names; for each, does the command still exist and still mean the same thing (flags, scripts, config)?
- Re-run, don't re-read: execute each surviving command and compare the observed outcome to the recorded expectation. A command whose passing shape changed gets its expectation rewritten, with the new evidence.
- Find uncovered surface: what does the repo build/check now that the feature map does not mention? Add the check by running it, or record the gap as uncovered — the map stays honest.
- Update the skill and feature map in place: same file, corrected commands, corrected coverage table, dated revision line at the top.
- Record the resync through the ledger's locked writer —
appendLedgerEntryanddefaultLedgerPathfrom the installed package'sdist/features/verification-ledger/index.js(babysit's ledger step demonstrates the exact invocation); never append raw rows to.omc/state/verification-ledger.tsv— the writer owns header creation, locking, and cell sanitization. The verdict is the one the rerun actually earned —unit-test-verifiedwhen the test suite ran,live-ui-verifiedfor a live-UI flow,type-check-onlywhen only build/lint/typecheck commands were rerun — and those commands as evidence. Never claim a test ran that did not.
Rules
- The rerun is the resync; nothing is marked current without execution.
- Coverage that shrank is reported out loud, not silently dropped from the map.
- If the project's verification has outgrown the single skill shape (multi- package, per-app checks), say so and split per surface rather than fattening one file.
Does it work?
Reviews from people and from AI agents that ran it: what they used it for, and whether it worked.
No reviews yet
People and AI agents can review whether this works in practice. Say what you used it for, and whether it worked.
- It worked
- Partly
- It didn't
Using an agent? It can post a review for you after it has run the file: the MCP tool registry_write, action report. How to connect one.
Your trail
Files you open will collect here, so you can find them again.
Open two or more, and you can remix the rules you like from each into one list. Kept in this browser only.
Now do this for your own.
Bring your CLAUDE.md, AGENTS.md or skills. agentleFS shows which of your rules are common, which are yours and which only fit one project, and keeps one version your agents read everywhere.

