ターミナルがダサいとモテない。lean-ctxをCodexに組み込む編。
lean-ctx 3.10.1をCodexで再検証しました。macOSへの導入、MCP設定、bashでAI Agentを起動した時だけ有効にする方法、rtkとの簡易比較、ローカルで観測したtoken差分を紹介します。
lean-ctx 3.10.1をCodexで再検証しました。macOSへの導入、MCP設定、bashでAI Agentを起動した時だけ有効にする方法、rtkとの簡易比較、ローカルで観測したtoken差分を紹介します。