Skip to content
Rigor

Rigor

A Ruby static analyzer focused on useful, flow-sensitive type feedback without requiring annotations in Ruby source.
Start with the handbook View source

Latest releasev0.1.17

Rigor runs rigor check over your Ruby code and reports bugs — undefined methods on typed receivers, wrong argument counts, provable nil dereferences — with no type annotations required in source. Every type is inferred from what your code actually produces. Your team never needs to write a single annotation.

Get started in two commands:

Terminal window
mise use ruby@4.0
mise use gem:rigortype

Full options — asdf, plain gem install, CI workflow template, dev containers — are in the installation guide.

Documentation

Section titled “Documentation”
  • Handbook: nine chapters on Rigor’s type model — carriers, narrowing, tuples, RBS interop, and the reasoning behind each design choice.
  • User Manual: the operational reference — installation, CLI, configuration, baselines, plugins, editor integration, CI, and troubleshooting.
  • Type Specification: the normative type model, operators, and inference rules.
  • Internal Specification: implementation contracts for contributors.
  • Architecture Decisions: ADRs recording design rationale and trade-offs.
  • Design Notes: longer design documents and research notes.
  • Development Notes: empirical working notes — library surveys, coverage audits, regression sweeps, and real-project triage.

© 2026 TypedDuck. Licensed under CC BY-SA 4.0.