作業に関係するコードや検索結果を選び、コマンド出力を圧縮してエージェントに渡します。必要な原文の取り出しや、判断・知識の保存、操作記録の確認も支援します。
- 不慣れなプロジェクトの関連コード調査
- 大量の検索結果や実行出力の絞り込み
- 必要な原文を正確に確認したいとき
yvgude/lean-ctx3,8982026年10月21日 更新
作業に関係するコードや検索結果を選び、コマンド出力を圧縮してエージェントに渡します。必要な原文の取り出しや、判断・知識の保存、操作記録の確認も支援します。
Claude Codeの会話記録からlean-ctxの失敗や再試行を調べ、入力ミスと不具合を切り分けます。再現できた問題は既存報告を確認し、Issueにまとめます。