大家用 kimi-K3 哪个 Agent 用的最舒服，Codex有佬友试过吗？之前一直在用codex，codex 的自动压缩一直不错，不知道接 k3 能用不