ターミナルがダサいとモテない。lean-ctxをCodexに組み込む編。

私は日頃からCodexを使っています。