Rigor

Rubyソースに注釈を書かなくても、フローに応じた実用的な型フィードバックを返す静的解析器です。

最新リリースv0.1.162026年6月3日

Rigorはソースに型注釈を一切書かずにrigor checkでRubyコードを解析し、型付きレシーバーへの未定義メソッド呼び出し、引数個数の誤り、証明可能なnilデリファレンスなどのバグを報告します。型はすべてコードが実際に生成する値から推論されます。チームに型注釈を書いてもらう必要はありません。

2つのコマンドで始められます:

mise use ruby@4.0
mise use gem:rigortype

他のインストール方法（asdf、gem install、CIワークフローテンプレート、devコンテナ）はインストールガイドを参照してください。

ドキュメント構成

ハンドブック: Rigorの型モデルを9章で解説——キャリア、ナローイング、タプル、RBS相互運用と、各設計判断の背景。
ユーザーマニュアル: オペレーションリファレンス——インストール、CLI、設定、ベースライン、プラグイン、エディター統合、CI、トラブルシューティング。
型仕様: 型モデル、型演算子、推論規則の規範的仕様です。
内部仕様: コントリビューター向けの実装上の契約をまとめます。
設計判断（ADR）: 設計根拠とトレードオフを記録したADRです。
設計ノート: より詳細な設計文書と研究ノートです。
開発レポート: 経験的な作業ノート——ライブラリ調査、カバレッジ監査、リグレッションスイープ、実プロジェクトのトリアージ。