菜单
Audit which code version each lab server has for a project — commits, dirty trees, divergence — and align them safely. Use when results differ between servers or before launching a sweep.
用 Codex 或 Claude 帮你安装 复制这段 Prompt，粘贴到 Codex、Claude 或其他助手里，让它检查 Skill 页面并帮你完成安装。
基于 SOC 职业分类
Find what's eating disk on full lab servers — old checkpoints, wandb and cache junk — and produce a deletion plan. Report-only; deletion needs per-path human approval. Use when a disk is full or the user asks to free space.
Compare experiment results across servers — differing hyperparameters and final metrics from local wandb data, with dashboard links. Use for "which ablation won" or comparing runs of a project.
Morning briefing across all lab servers — what finished or crashed overnight, which GPUs are free, which disks are filling up. Use when the user asks for a briefing, "what happened overnight", or overall lab/server status.
Launch a training run on the best lab server — picks a host by data locality and free GPUs, verifies code and environment, starts it in a detached tmux session. Use when the user wants to run, launch, or train something on the servers.
Reproduce a working project environment from one lab server on another — code at the same commit, a CUDA-compatible python env, and a smoke test. Use for "make this run on host B too" or setting up a new server.
Check on the user's running experiments across all servers — progress, loss, ETA, stalled or crashed. Use for "how are my runs", "is training still going", or checking a specific experiment.
| name | sync-code |
| description | Audit which code version each lab server has for a project — commits, dirty trees, divergence — and align them safely. Use when results differ between servers or before launching a sweep. |
Locate the project on each reachable host: ask the user, or infer from
list_sessions cwds (and a targeted find if needed).
Audit per host (read-only, via run_command):
git -C <dir> rev-parse --abbrev-ref HEAD; git -C <dir> rev-parse --short HEAD; git -C <dir> status --porcelain | head -20; git -C <dir> log -1 --format='%cd %s' --date=short
Pick the baseline: the user's stated one, else the newest commit on the shared remote. Table: host · branch · commit · dirty files · behind/ahead of baseline.
Propose per-host alignment commands. Safety rules:
git stash push -m hopmux-sync-<date> first (and tell the user how to
pop it back).reset --hard, no checkout -- ., no force pushes.Apply only what the user approves, host by host, and re-run the audit line for each host you touched to confirm.
End with either "all hosts aligned at ✓" or exactly which hosts still differ and why (stashed changes, diverged commits awaiting a decision).