New: 98,000+ skills indexed from GitHub repos with 100+ stars · every skill safety-checkedBrowse top skillsTop skills
Esc to closeBrowse all skills
Submit a skillBrowse skills
Submit a skillBrowse skills

Agent skill

Rigor Lane

by rigortype in rigortype/rigor

Implement one Rigor issue under a fixed architect LaneInput contract in a worktree, push, print head SHA, and stop.

MPL-2.0Auto-check passedDevelopment

Install Rigor Lane

skills CLI
$ npx skills add rigortype/rigor --skill rigor-lane -a claude-code

Project install by default; add -g for ~/.claude/skills/.

GitHub CLI
$ gh skill install rigortype/rigor rigor-lane --agent claude-code

Project scope by default; add --scope user for a personal install. Needs GitHub CLI 2.90.0 or later (public preview).

Manual copy
$ git clone --depth 1 https://github.com/rigortype/rigor.git skills-src && mkdir -p .claude/skills && cp -r skills-src/agents/pi-harness/skills/rigor-lane .claude/skills/rigor-lane && rm -rf skills-src

Use ~/.claude/skills/ instead of .claude/skills for a personal install. The folder must contain SKILL.md.

Claude Code skills documentation · loads skills from .claude/skills/

Facts

Skill name
rigor-lane
GitHub stars
106
Token cost
~752 tokens
SKILL.md length
297 words
Files
1
Skills in repo
36
Repo updated
First seen
Licence
MPL-2.0

At a glance

Implement one Rigor issue under a fixed architect LaneInput contract in a worktree, push, print head SHA, and stop.

  • Works in 4 steps: Model: use the agent frontmatter / spawn… → Bundle: untracked .bundle/config →… → Branch: git switch -c - before push (not… → …
  • Tasks that involve Git worktrees
  • SKILL.md covers Hard constraints (always), Preflight (before first Ruby /…, Input and Shared traps (from 2026-09-21…, plus 2 more sections
  • Calls gh, make and git

What it does

Rigor Lane is an agent skill from rigortype/rigor. Implement one Rigor issue under a fixed architect LaneInput contract in a worktree, push, print head SHA, and stop. Do not CI-watch, run parallel host make verify, or burn the session on full corpus checks. Finish with Head SHA <sha — lane done or Blocked — need human.

Its SKILL.md is about 750 tokens, which your agent loads only when the skill is triggered. It is a single SKILL.md file with no bundled scripts.

It sits in Development, covering Git worktrees. The repository describes itself as: Inference-first static analysis for Ruby. The licence is MPL-2.0.

When your agent uses it

  • Tasks that involve Git worktrees

Example prompts

  • “/rigor-lane”

Requirements

  • Python 3

Workflow steps

4 steps, taken from the first numbered list in SKILL.md.

  1. Model: use the agent frontmatter / spawn model: (Flash registry id). Do
  2. Bundle: untracked .bundle/config → BUNDLE_PATH=/vendor/bundle
  3. Branch: git switch -c - before push (not pi-subagents/…)
  4. Issue truth: gh issue view --comments — LaneInput may lag maintainer rulings

What it can do on your machine

Read from SKILL.md and the folder at commit 57a67cf. It shows what the files ask for, not the result of running them.

  • Tool permissions

    Pre-approves nothing: there is no allowed-tools line, so your agent's usual permission prompts apply.

    From allowed-tools in the SKILL.md frontmatter.

  • Runs code

    Shell commands in SKILL.md call:

    • gh
    • make
    • git

    From the folder's file list and the shell code blocks in SKILL.md.

  • Network

    No URLs in SKILL.md. Its commands use gh and git, which can reach the network depending on how they are called.

    From URLs in SKILL.md, links to its own repository left out.

  • Credentials

    Names no API keys, tokens, secrets or passwords.

    From names ending in _API_KEY, _TOKEN, _SECRET, _KEY or _PASSWORD in SKILL.md.

Context cost

Rigor Lane loads about 752 tokens when it runs. Until then it costs about 70 tokens; SKILL.md has 297 words of instructions outside code blocks.

Always · name and description, kept in context so the agent knows when to use it
~70
When it runs · the whole SKILL.md, loaded when a task matches
~752

Estimates: characters ÷ 4, the usual rule of thumb; real counts depend on the model's tokenizer. Scripts and assets cost tokens only if the agent reads them.

Safety

Auto-check passed

The automated check found no risky patterns in SKILL.md.

Automated static check — not a guarantee. Review scripts before installing. It scans the text of SKILL.md for risky patterns (piping downloads into a shell, reading credential files, hidden Unicode, destructive commands); files beside SKILL.md are not scanned.

SKILL.md

The full file from rigortype/rigor at commit 57a67cf, republished under its MPL-2.0 licence (© rigortype). 297 words, ~752 tokens.

Download SKILL.mdSave it as .claude/skills/rigor-lane/SKILL.md (or your agent's skills folder).
name
rigor-lane
description
Implement one Rigor issue under a fixed architect LaneInput contract in a worktree, push, print head SHA, and stop. Do not CI-watch, run parallel host make verify, or burn the session on full corpus checks. Finish with Head SHA <sha> — lane done or Blocked — need human.

Rigor lane (ADR-115)

Load and follow:

Hard constraints (always)

  • No parallel full-suite make verify on the host
  • Do not own long CI watchers / sleep-poll loops — push and stop
  • No full survey corpus check loops inside this session — timeout trap; record residual risk / leave measurement to orchestrator
  • Issues remain the backlog (consume the architect contract; do not file a parallel queue)
  • Do not pkill by pattern
  • Lint own .rb diffs with RuboCop --force-exclusion only
  • Prefer worktree isolation

Preflight (before first Ruby / gh)

  1. Model: use the agent frontmatter / spawn model: (Flash registry id). Do not assume deepseek/deepseek-flash exists.
  2. Bundle: untracked .bundle/config → BUNDLE_PATH=<main-repo>/vendor/bundle
  3. Branch: git switch -c <change-slug>-<issue> before push (not pi-subagents/…)
  4. Issue truth: gh issue view <n> --comments — LaneInput may lag maintainer rulings

Input

Consume a LaneInput from the architect (Acceptance, touch, must_not, worktree/branch). Do not invent policy outside that contract. If live tree or issue comments contradict the contract, escalate — do not silently widen scope.

Shared traps (from 2026-09-21 batch)

  • gh issue/pr create with backticks in a shell heredoc → command substitution; always --body-file
  • Changelog fragment only after PR number exists
  • Probe engine capability before writing an acceptance example that expects a diagnostic (e.g. non-nil + mismatch may be silent by design)
  • Plugin edges: use RSpec harness fixtures; bare probes often load nothing
  • Exact-text edit failures: pull exact lines (e.g. Python repr) before retry

Output

  1. Implement Acceptance with targeted local checks only.
  2. Open/update Draft PR with --body-file.
  3. Push the change-named branch.
  4. Print the tip SHA and stop (orchestrator / external poll owns CI).

LaneOutput shape:

text
LaneOutput:
  head_sha:        <40-hex>
  status:          "lane done" | "blocked"
  notes:           optional residual risk / wrong turns / corpus deferred
  pr_url:          optional

Finish phrases (exact)

  • Success: Head SHA <sha> — lane done (40-hex SHA)
  • Blocked: Blocked — need human

Model band: DeepSeek Flash-class (bound by scripts/run-role.sh / .pi/agents/rigor-lane.md).

© rigortype, MPL-2.0. Rendered from Markdown: HTML in the file is shown as text, images as links, and headings moved down two levels. Raw file

Files

Just SKILL.md in agents/pi-harness/skills/rigor-lane of rigortype/rigor.

Open the folder on GitHubat commit 57a67cf

Compare with similar skills

Rigor Lane next to the 5 skills that share the most tags, products or categories with it. Stars are the repository's; “used in” counts other GitHub owners with a copy.

Rigor Lane compared with similar skills
SkillStarsUsed inTokensAuto-checkLicenceRepo updated
Rigor Lane this skillrigortype/rigor106—~752Automated safety check: PassMPL-2.0
Finishing a Development Branchobra/superpowers297k5 repos~1.9kAutomated safety check: PassMIT
Migrate Core Code to Submodulestinyhumansai/openhuman42k—~2.6kAutomated safety check: PassGPL-3.0
Finishing A Development Branchfarm-fe/farm5.6k34 repos~1.8kAutomated safety check: PassMIT
Git Worktree Cleanuplobehub/lobehub83k—~2.8kAutomated safety check: PassCustom licence
Keep Codex Fastvibeforge1111/keep-codex-fast1.6k—~3.1kAutomated safety check: PassMIT

Similar skills

  • Finishing a Development Branch

    obra/superpowers

    Walks the last step of a branch: confirm tests pass, detect the git environment, ask how to integrate, carry out your choice and clean up the worktree.

    297k GitHub starsUsed in 5 repos~1.9k tokens
    DevelopmentAuto-check passed

  • Migrate Core Code to Submodules

    tinyhumansai/openhuman

    Plans and carries out moving non-host-specific code and its tests from the OpenHuman core into vendored tiny submodule libraries, then releases the submodule and re-pins the host.

    42k GitHub stars~2.6k tokensUpdated today
    DevelopmentAuto-check passed

  • Finishing A Development Branch

    farm-fe/farm

    A skill your agent uses when implementation is complete, all tests pass, and you need to decide how to integrate the work - guides completion of development work by presenting structured options for…

    5.6k GitHub starsUsed in 34 repos~1.8k tokens
    DevelopmentAuto-check passed

  • Git Worktree Cleanup

    lobehub/lobehub

    Audits stale Git worktrees and branches with a bundled script, classifies each one, and deletes only after you approve the exact candidates.

    83k GitHub stars~2.8k tokensUpdated today
    DevelopmentAuto-check passed

  • Keep Codex Fast

    vibeforge1111/keep-codex-fast

    A skill your agent uses when Codex feels slow or bloated, when local sessions/logs/worktrees/config have grown over time, or when a user wants safe maintenance for Codex Desktop/CLI state.

    1.6k GitHub stars~3.1k tokensUpdated 5 mo ago
    DevelopmentAuto-check passed

  • Pre-Release PR Triage

    jamiepine/voicebox

    Sorts a backlog of open pull requests into must-merge, candidate, superseded and deferred, writes a triage doc and works the merge loop before a release.

    57k GitHub stars~3.1k tokensUpdated 2 days ago
    DevelopmentAuto-check passed

More from rigortype/rigor

All 36 skills in this repo

  • Rigor Regression Sweep

    rigortype/rigor

    Measure Rigor's baseline drift across the tagged history of a real OSS Ruby project.

    106 GitHub stars~2.9k tokensUpdated yesterday
    Auto-check passed

  • Rigor Unused Adjudicate

    rigortype/rigor

    Adjudicate a rigor unused report safely before proposing dead-code removal.

    106 GitHub stars~1.1k tokensUpdated yesterday
    Auto-check passed

  • Rigor Baseline Reduce

    rigortype/rigor

    Reduce an existing .rigor-baseline.yml rule by rule by triaging sites, fixing or intentionally suppressing them, and regenerating the baseline.

    106 GitHub stars~1.3k tokensUpdated yesterday
    Auto-check passed

  • Rigor Doctor

    rigortype/rigor

    Validate that a project's Rigor configuration, plugins, paths, and baseline are actually healthy.

    106 GitHub stars~767 tokensUpdated yesterday
    Auto-check passed

  • Rigor Plugin Author

    rigortype/rigor

    Author a new Rigor plugin, choosing plugins/ for production support or examples/ for a contract walkthrough.

    106 GitHub stars~3.3k tokensUpdated yesterday
    Auto-check: notes

  • Rigor Plugin Author

    rigortype/rigor

    Author a Rigor plugin in an adopting project or standalone rigor- gem for a DSL, framework, or metaprogramming pattern.

    106 GitHub stars~1.9k tokensUpdated yesterday
    Auto-check passed

Categories

Questions about Rigor Lane

What does Rigor Lane do?

Implement one Rigor issue under a fixed architect LaneInput contract in a worktree, push, print head SHA, and stop. Rigor Lane is an agent skill from rigortype/rigor. Implement one Rigor issue under a fixed architect LaneInput contract in a worktree, push, print head SHA, and stop.

When should I use Rigor Lane?

Rigor Lane fits situations like: tasks that involve Git worktrees.

How do I install Rigor Lane in Claude Code?

Run `npx skills add rigortype/rigor --skill rigor-lane -a claude-code`. Or copy the skill folder (agents/pi-harness/skills/rigor-lane in rigortype/rigor) into .claude/skills/rigor-lane in your project. Claude Code loads it when a task matches its description.

How do I install Rigor Lane in Codex?

Run `npx skills add rigortype/rigor --skill rigor-lane -a codex`. Or copy the skill folder (agents/pi-harness/skills/rigor-lane in rigortype/rigor) into .agents/skills/rigor-lane in your project. Codex loads it when a task matches its description.

Can I use Rigor Lane in Cursor, Gemini CLI or GitHub Copilot?

Cursor, Gemini CLI, GitHub Copilot and OpenCode also load SKILL.md folders. With the skills CLI, run `npx skills add rigortype/rigor --skill rigor-lane -a cursor` (or -a gemini-cli, github-copilot or opencode for the others). To copy it by hand, put the folder in .cursor/skills/rigor-lane, .gemini/skills/rigor-lane, .github/skills/rigor-lane and .opencode/skills/rigor-lane in your project.

What does Rigor Lane need to run?

Going by SKILL.md and its folder, Rigor Lane needs the command-line tools its instructions call (gh, make and git). Our summary lists: Python 3.

Does Rigor Lane access the network?

SKILL.md contains no URLs. Its commands use gh and git, which can reach the network depending on how they are called. This is read from the text; nothing was executed.

Is Rigor Lane safe to install?

Our automated static check of SKILL.md found no risky patterns, such as piping downloads into a shell, reading credential files or hidden Unicode. It is not a guarantee. Review the folder before installing.

What licence does Rigor Lane use?

Rigor Lane is published under the MPL-2.0 licence (the repository's licence). It allows redistribution, so the full SKILL.md is shown on this page.

How many tokens does Rigor Lane use?

About 752 tokens (SKILL.md is roughly 3k characters). Agents keep only the skill's name and description in context until a task matches; then they load SKILL.md in full.

What are the alternatives to Rigor Lane?

Skills that share tags, products or a category with Rigor Lane: Finishing a Development Branch (obra/superpowers, 297k stars), Migrate Core Code to Submodules (tinyhumansai/openhuman, 42k stars), Finishing A Development Branch (farm-fe/farm, 5.6k stars) and Git Worktree Cleanup (lobehub/lobehub, 83k stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.

Who maintains Rigor Lane?

rigortype (a GitHub organization) maintains it in rigortype/rigor, which has 106 GitHub stars. The repository holds 36 skills in this directory. The repository was last updated on October 8, 2026.

Source: rigortype/rigor on GitHub. Facts on this page come from the repository at the commit we read; the author's words are quoted as theirs.