nextliteracy https://blog.hatena.ne.jp/nextliteracy/ 読み書きプログラミング https://nextliteracy.hatenablog.com/ 遅ればせながら、Antigravityで初めてAIエージェントを試しました。 便利ですね。 パーサをちょっと書いてもらって「こりゃすごい！」と思ったのですが、すぐクォータが切れて2週間待てと…流石にこれでは使い物にならないので、VSCodeの拡張Clineを導入しました。 サブスクは好きじゃないので、従量課金にすべくGemini API。(余談ですが、最近までGeminiで満足していたのですが、あっちこっちあれがいいこれがいいという話を聞くとGeminiもひとつかな？という気分になったので、AIの評価というのは難しいものですね)で、エージェントで何をしようかなと思ったのですが、やっぱりこれを機… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fnextliteracy.hatenablog.com%2Fentry%2F2026%2F08%2F04%2F184310" title="Leanを1行も書いたことがないLean使いになる！ - 読み書きプログラミング" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2026-08-04 18:43:10 rich https://nextliteracy.hatenablog.com/entry/2026/08/04/184310 1.0 100%