Rigor Ask

Answer from the page, name the page

Quote or paraphrase the relevant passage and say which page you drew from (e.g. "per rigor docs handbook/03-narrowing …"), so the user can re-read it with the same command. Prefer the doc's own wording over a remembered approximation. When you ran a command against their code, show the relevant line of output — a concrete inferred type is more convincing than prose, and it proves the answer rather than asserting it.

When the question is really "do X for me"

Some questions are a task in disguise: "how do I get Rigor into CI?", "how do I shrink this baseline?", "how do I set Rigor up here?" The useful reply is short: orient the user — what the thing is, the one decision that actually matters, the rough shape of it — then hand the doing to the skill built for it. Resist pasting the full procedure inline (the entire CI workflow YAML, the whole baseline-reduction loop): that skill owns the steps, keeps them correct, and updates as the tool moves, so duplicating them here only bloats the answer and drifts out of date. The line is explaining the thing (yours) versus wiring it in (the setup skill's).

A good hand-off is two or three sentences of orientation plus the pointer:

• setup / "what next?" → rigor-next-steps (it probes the project and routes)
• CI → rigor-ci-setup · editor → rigor-editor-setup · MCP agent → rigor-mcp-setup
• baseline reduction → rigor-baseline-reduce · coverage holes → rigor-protection-uplift
• a missing gem/DSL → rigor-plugin-author · monkey-patch clusters → rigor-monkeypatch-resolve
• about to write a type (RBS, #:, a Sorbet sig, a YARD tag, a doc sentence) → rigor-type-oracle

When in doubt, give less and point — it respects the user's "three skills to remember" promise and keeps each answer to the part only rigor-ask can give.

If the docs don't cover it

The bundled set is the drive-Rigor corpus (manual + handbook). The normative type specification, the internal spec, and the ADRs are contributor-facing and stay web-only — they are not in rigor docs; if a question genuinely needs them, say so and point at https://rigor.typedduck.fail/llms.txt rather than guessing.

But before you defer, remember Rigor installs from RubyGems with its full source — the per-plugin pages under the gem's docs/manual/plugins/, the analyzer and plugin code under lib/. For a detail no doc page spells out (a plugin's exact rule, a default baked into the code), reading the bundled file directly is a perfectly good way to ground the answer, and beats a guess. The rule that never bends: never invent a flag, rule id, config key, behaviour, or command output — read the page, read the source, or run the command, and quote only output you actually saw. A confident wrong answer about a type checker is worse than "let me check."

Examples

A diagnostic on their code — "Why is Rigor flagging s.lenght?"

rigor explain call.undefined-method   # what the rule means and why it fires
rigor annotate demo.rb                # the inferred type of `s` on that line

Answer from both: Rigor inferred a concrete String receiver for s, and String has no lenght (a typo for length) — grounded in what annotate showed, not in a guess.

A comparison — "How is Rigor different from Sorbet?"

rigor docs handbook/10-sorbet         # the chapter written for this

Answer from the chapter's framing (RBS-superset, gradual Dynamic, inference-first) rather than a remembered summary, and name it so they can read on.

A capability — "Does Rigor understand our Sidekiq workers?"

rigor plugins                          # is rigor-sidekiq enabled in THIS project?
rigor docs rigor-sidekiq               # the per-plugin page: what it teaches Rigor

Answer from what's actually installed, plus — if useful — a scoped rigor check app/workers so they see Rigor on their real workers.

Authoring — "How do I type this method?"

rigor sig-gen path/to/file.rb          # generate the RBS, show it
rigor docs handbook/07-rbs-and-extended

Generate it, show the signature, and explain it from the handbook — preferring sig-gen's output over hand-written RBS.