agentleFS
pytorchpytorch/helion/.agents/skills/verify/SKILL.md

verify

Skill979 starsChanged 6 days agoBSD-3-ClauseView on GitHub

Verify a change before committing it or handing it back — lint, choose the test lanes that match what changed, run them with scripts/run_tests.py on GPUs from the board, review with autoreview when the change warrants it, then fix and repeat. Use when a change is ready to commit, after a rebase, or before a stack is handed back for submission.

188 other projects use a version of this.

Adopted by

Most recently taken up by

Used with

Projects with it also use instinct-export, instinct-import and 10 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.
  • TheKREATORSSkill

    instinct-export

    Export instincts from project/global scope to a file

    Also in 3 projects that use this

  • TheKREATORSSkill

    instinct-import

    Import instincts from file or URL into project/global scope

    Also in 3 projects that use this

  • AviadPSkill

    risk-assess

    Assess the risk and blast radius of a proposed code change before implementing it. Evaluates CI impact, framework-wide vs localized scope, rollback path, and identifies blindspots. Use when user says "what's the risk", "is this safe", "assess the impact", "risk assess", "blast radius", or before applying framework-wide or CI-affecting changes. Do NOT use for code quality review (use code-quality) or plan validation (use design-validator).

    Also in 3 projects that use this

  • diego-tobalinaSkill

    build-fix

    Fix build and compilation errors systematically. Run when build fails.

    Also in 6 projects that use this

  • AaravChadhaSkill

    secure

    Security review with a confidence gate - a finding exists only with a concrete exploit scenario and a high/medium/low confidence rating; everything else goes to a worth-hardening list, never inflated. Sweeps five surfaces: auth gates, secrets hygiene, injection and unsafe sinks, unsafe deserialization/crypto/transport, and LLM tool-use trust boundaries. Reports only, never fixes. Use when the user asks for a security review or to check vulnerabilities, secrets, or auth.

    Also in 3 projects that use this

  • ArvorCoSkill

    specify

    Create feature specification from natural language description. Use when starting a new feature or creating a spec. Triggers on: create spec, specify feature, new feature spec.

    Also in 10 projects that use this

  • +1 more from TheKREATORS

The file

We split this skill into the rules it gives an agent

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

  • 0

    Common

    Most of the 167 edited versions we read keep these.

  • 0

    Distinctive

    This author's own choices. Worth a look.

  • 2

    Very specific

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

  • Common
  • Distinctive
  • Very specific
  1. Very specific:

    Write the decision down in one line before running anything, for example "core change (compile_environment.py): Triton and CuTe lanes, PR …

    line 23
  2. Very specific:

    Don't pass HELION_AUTOTUNE_EFFORT=none to a lane run.

    line 91

“Common” is measured: kept by at least 6 in 10 of the 167 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.

Keep what fits and drop the rest. Your version, ready for your agents.
Files
SKILL.md

Verify a change

The policy is in AGENTS.md (How Much to Test, GPU Usage, Code Review); this skill is the procedure. Run the checks that fit the change, fix what they find at the root (never by suppressing a test), and rerun only what is affected.

1. Lint

./lint.sh runs the pre-commit hooks the Lint CI job runs, with their pinned tool versions, and applies their fixes; ./lint.sh check <paths> is CI's single pass: it fails when a hook reports a problem or changes a file and shows the change. A clean tree before you start makes the git status afterwards meaningful.

2. Decide the lanes

Write the decision down in one line before running anything, for example "core change (compile_environment.py): Triton and CuTe lanes, PR tier" or "test-only change: that module on cute". The table in AGENTS.md maps changed paths to lanes; scripts/run_tests.py --changed lists the modules that name your changed sources and runs them, and tells you when a change is too broad for a selection.

Include the slow tier (--slow) for slow tests you touched and for autotune search or interpreter-spawning changes. New test files need a pytest --durations=20 look, and heavy ones a scripts/shard_durations.py re-record.

3. GPUs

scripts/gpu_board.py status shows what is free. run_tests.py picks and claims GPUs itself (-n K, or --gpus 2,5 for specific ones) and releases them when it finishes; it refuses to start when nothing is free, or when a GPU you named is claimed by another account or busy, rather than piling onto someone's GPU (--force overrides). The CPU lane needs no GPU. Never run two suites on one GPU.

4. Run

scripts/run_tests.py --changed                              # modules naming the sources changed since origin/main
scripts/run_tests.py --changed --since HEAD~1               # ... changed by the last commit
scripts/run_tests.py --backend cute --lane cpu               # CuTe codegen check, no GPU
scripts/run_tests.py --backend cute --gpus 2,5               # CuTe lanes, GPU lane over two GPUs
scripts/run_tests.py --backend triton,cute -n 2              # core change: both backends
scripts/run_tests.py --slow test/test_autotuner.py           # one module including its slow tier
scripts/run_tests.py --backend cute test/test_cute_x.py -- -k softmax   # pytest options after --

Each run writes logs, junit files, the exact commands and summary.txt under .logs/tests/<timestamp>-<tag>/, and prints a VERDICT line (if the script itself fails rather than reporting a verdict, stop and report it, per AGENTS.md):

  • PASS: everything passed.
  • FAIL: a test still fails alone, or a job crashed (read its log; an out-of-memory failure includes a GPU memory report).
  • FLAKY: every failure passed in isolation. That is order dependence, usually state hung on a cached compiled kernel that an earlier test left behind; make the test independent of earlier launches instead of retrying.

Long runs go in a worktree if you want to keep editing meanwhile; editing the checkout a run reads corrupts its results.

5. Review

scripts/autoreview.py (uncommitted changes) or scripts/autoreview.py --head (the last commit) when the change is a complete logical unit; skip it for trivial fixes and run it once over the finished stack (scripts/autoreview.py origin/main..HEAD) before handing a larger project back. Address every finding or explain why it does not apply. When it passes, add the autoreview passed: ... line it prints as the last line of each commit it covered (above any stack-info: line; AGENTS.md, Recording the review). If the review itself fails, stop and report it; do not substitute your own review. If it warns that only one reviewer (Claude or Codex) is installed, say so to the user.

6. Report

A short table of what ran: backend, lane, GPUs, result, and the review outcome, plus anything deliberately not run and why.

Notes:

  • Don't pass HELION_AUTOTUNE_EFFORT=none to a lane run; it changes execution paths and breaks tests. Use it only for targeted local iteration.
  • pytest -ra prints skip reasons when a skip count looks suspicious.

Download now (ZIP)

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
What did you use it for? e.g. Reviewing pull requests in a Rails app

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.