LeanRigor

少ないコンテキスト。完全なエンジニアリングの厳格さ。

ローカルファースト、クロスエージェントのエンジニアリングハーネス。LeanRigor は、コーディングエージェントセッションから不要なコンテキストを除去しつつ、タスクのリスクレベルが実際に要求する設計、テスト、セキュリティ、検証のゲートを保持します。

npx leanrigor init

契約

これは数字を読む前に読むべき部分です。

• 必要なエンジニアリングゲートは、トークンを節約するために削除されることは決してありません。 検証はすべてのリスクレベルで必須です。重要なタスクは、トークン予算を含むいかなる理由でも、脅威モデル、承認、ロールバック計画をスキップできません。

• 節約は、通過した作業に対してのみカウントされます。 誤った回答を生成することによって達成された削減は削減とはみなされず、すべての合計から除外されます。

• すべての数値は、その測定モードとカバレッジを明示します。 ローカル見積もりはプロバイダー使用量と呼ばれることはなく、2つの測定モードがラベルのない合計に加算されることはありません。

• 何も破壊されません。 すべてのプロジェクションには、元のバイトを復元するハンドルが付いているか、明示的にサマリー専用とマークされています。

• テレメトリーはデフォルトでオフ であり、leanrigor telemetry inspect は決定前に正確なペイロードを表示します。

• エネルギー数値はバージョン管理された推定範囲 であり、データセンターの測定値ではありません。docs/environmental-methodology.md を参照してください。

Related MCP server: AI Knowledge Center MCP

測定結果

決定論的コーパス evals/ から、1つのコマンドで再現可能:

npx leanrigor benchmark

ケースごとの数値、生の結果、リリースゲートの判定は docs/benchmarks/ にあります。そこでの各パーセンテージは、その背後にあるケース数と測定モードを示しています。

これが主張していないこと。 これらのケースは、LeanRigor 自身の変換がペイロードに与える影響を測定しています。モデルは関与していません。

スキル評価

スキルは、実際のモデル (Codex CLI, gpt-5.5) に対して、ベースラインとスキルありの比較で、決定論的チェックを用いて評価されました。

3つのトリガー説明はすべて制限されています。ルーターは、9つの非トリガープロンプトのいずれに対しても、それらを選択しませんでした。

注意事項なしにこれらの数値を引用しないでください。 変更なしの構成で verification スイートを3回実行すると、+40、+20、-20ポイントが得られました。60ポイントの変動は、n=1で約20ポイント未満のものはノイズであることを意味し、上記の2つの大きな結果は単回実行です。評価ハーネス自体で見つかった5つの欠陥とスキルで見つかった2つの欠陥を含む完全なレポートは、docs/benchmarks/skill-eval.md にあります。

機能

サポートされているホスト

leanrigor init はインストールされているものを検出し、すべてのファイル変更をプレビューし、変更するものはすべてバックアップし、確認するまで書き込みを行いません。

コマンド

npx leanrigor init              # install, with a preview and confirmation
npx leanrigor init --dry-run    # show the plan, write nothing
npx leanrigor init --uninstall  # restore the original files
npx leanrigor doctor            # diagnose the installation
npx leanrigor mcp serve         # run the gateway (hosts launch this)
npx leanrigor benchmark         # run the reproducible benchmark
npx leanrigor report            # local session report
npx leanrigor report --share    # local SVG card, aggregate counts only
npx leanrigor skills list
npx leanrigor skills install verification
npx leanrigor telemetry status

プライバシーのデフォルト

アカウントは不要。テレメトリーを有効にするまで、独自のネットワーク呼び出しはありません。プロンプト、ソースコード、ファイルパス、リポジトリ名、ツールペイロードは、いかなる設定でもどこにも送信されません。台帳とテレメトリーのスキーマには、それらを運ぶ可能性のあるフィールドはありません。docs/privacy.md を参照してください。

アンインストール

npx leanrigor init --uninstall

ファイルは元のバイトに復元されます。残るのは .leanrigor/ 下の追記専用監査記録のみです。

現在の制限事項

明確に述べます。自己宣伝しすぎるハーネスは存在しないより悪いからです。

• 3つのスキル向上結果のうち2つは n=1 であり、このスイートの実行間のばらつきは60ポイントに達しています。それらに依存する前に --repeat で再実行してください。

• 5つの verification ケースのうち4つは識別力がありません — ベースラインが毎回パスするため、何も測定しません。そのスイートにはより難しいケースが必要です。

• アブレーションは実施されていません。 どのスキルのどのセクションも、そのコストに見合うコンテキストを稼いでいることがまだ示されていません。

• すべてのスキル数値は、1つのCLIと1つのモデルからのものです。

• ベンチマークの gateway+workflow および gateway+workflow+skill 条件はまだ実装されていません。現在は baseline と gateway のみが実行されます。

• リスク分類は正規表現とパスベースです。意図的に保守的であり、過小分類する前に過大分類しますが、賢いわけではありません。

• Codex アダプターは config.toml を書き換え、TOML コメントが削除されます。インストール計画はこのことを警告し、元のファイルはバックアップされます。

• Gemini CLI アダプターはまだありません。

• 公開パッケージは内部の @leanrigor/* ワークスペースをバンドルしています。それらのAPIは安定しておらず、個別に公開されていません。

ドキュメント

• はじめに

• 測定の境界 — 測定されるもの、推定されるもの、未知のもの

• 環境方法論

• プライバシー

• 評価

• セキュリティポリシー

• ガバナンス

コントリビューション

制限された、所有可能な拡張インターフェースは docs/extensions/ に文書化されています：プロジェクター、ホストアダプター、スキルパック。それぞれに受け入れ契約があり、コントリビューションはメンテナーの気分ではなく、明示された基準に対して判断されます。

ライセンス

Apache-2.0。サードパーティの通知と再利用台帳は THIRD_PARTY_NOTICES.md にあります。このリポジトリには、サードパーティのソースや散文はコピーされていません。