Plugin reference

User-facing documentation for each bundled Rigor plugin — what it checks, its configuration keys, what it infers, and its limitations. For activating plugins in general, see Using plugins; to write one, see the examples/ walkthroughs and the rigor-plugin-author skill.

All plugins ship bundled in rigortype — no separate install. The full catalogue, with a one-line scope for every plugin, is plugins/README.md.

Available pages

• rigor-activerecord — ActiveRecord finder / relation typing and schema-checked columns.
• rigor-rails-routes — *_path / *_url helper validation against a parsed config/routes.rb.
• rigor-rails-i18n — t(...) / I18n.t(...) key, per-locale coverage, and interpolation validation.
• rigor-actionpack — controller route helpers, filter chains, render targets, strong-params keys.
• rigor-activestorage — has_*_attached attachment-accessor typing on AR models.
• rigor-activejob — Job.perform_* argument arity against the discovered #perform.
• rigor-actionmailer — mailer action existence / arity and missing-view-template detection.
• rigor-factorybot — factory + attribute (+ AR column) validation for FactoryBot.create / build / ….
• rigor-rails — convenience grouping of the seven Tier 1+2 Rails plugins (not a checker itself).
• rigor-dry-types — Types::* alias resolution; the dry-rb foundation (no diagnostics of its own).
• rigor-dry-struct — synthesises Dry::Struct attribute readers (precise with dry-types).
• rigor-dry-schema — recognises dry-schema declarations; publishes the typed-key table (fact-only).
• rigor-dry-validation — recognises Dry::Validation::Contract subclasses; result-API RBS overlay.
• rigor-sinatra — narrows the route-block self so params / redirect / halt / … resolve.
• rigor-rspec — RSpec let / subject duplicate and self-reference checks.
• rigor-sorbet — read an existing Sorbet codebase (sig blocks, RBI, T.* assertions) as a type source (full guide: handbook ch. 10).
• rigor-devise — synthesises the methods a devise :strategy declaration mixes into a model (no diagnostics).
• rigor-statesman — validates transition_to(:state) against the states declared in a state_machine block.
• rigor-mangrove — sharpens Mangrove Result / Option unwrap types and synthesises Enum variants.
• rigor-pundit — policy-class existence and authorize(record, :action) predicate validation.
• rigor-sidekiq — Sidekiq Worker.perform_* argument arity against the discovered #perform.
• rigor-actioncable — broadcast_to channel existence and ActionCable.server.broadcast stream-name validation.
• rigor-minitest — local-variable narrowing through Minitest / Test::Unit assertions and spec matchers.
• rigor-graphql — GraphQL-Ruby type / enum / input / mutation table publication (cross-plugin facts, no diagnostics).
• rigor-rspec-rails — have_http_status argument validation (out-of-range codes, unknown status symbols).
• rigor-shoulda-matchers — shoulda matcher column / association validation against the AR model index.
• rigor-hanami — Hanami::Action #handle protocol enforcement + request/response parameter typing (ADR-28).
• rigor-typescript-utility-types — Pick / Omit / Partial / … mapped onto Rigor shape projections.
• rigor-rbs-inline — ingests # @rbs inline comments as enforced RBS contracts (ADR-32).
• rigor-activesupport-core-ext — opt-in RBS bundle for ActiveSupport core_ext (the biggest Rails FP source).

The browser playground (rigor playground) is infrastructure, not a checker plugin — it has no page here; see the CLI reference and ADR-29.

Every bundled checker plugin has a page above; each plugin’s in-tree README.md now covers its internals (layout, architecture, the contract surfaces it exercises) and links back up to its page here.