この記事は Kiro ブログの Tackling technical debt at scale with autonomous mode in Kiro Web を翻訳したものです。 ソフトウェア開発チームはどこも、保守と新機能開発のあいだの緊張関係を経験しています。一方に使った時間は、もう一方に使えなかった時間です。オープンソースのメンテナーにとってこの課題はさらに深刻で、チームは小さく、ユーザーベースは大きく、バックログは伸び続けます。 形式検証 、つまりソフトウェアの性質を証明するために数学的技法
この記事は Kiro ブログの GPT‑5.6 models now support 1 million token context windows in Kiro を翻訳したものです。 本日より、Kiro の IDE 、 CLI 、 Web のすべてで、GPT‑5.6 Sol、Terra、Luna が 100 万トークンのコンテキストウィンドウに対応します。これにより、コードベース全体、長文ドキュメント、長く続いたマルチターンのエージェント履歴を、チャンク分割や要約を挟まず、細部を失わないまま 1 回の
本記事は「 A free year of Kiro, now for students around the world 」を翻訳したものです。 3 月に Kiro Students ティアを立ち上げたとき、私たちは 11 の大学から始めました。需要はほぼ即座にそのリストを追い越しました。まだ私たちが届いていない学校の学生たちが、同じことを繰り返し尋ねてきました。「私の学校は次はいつ?」 新年度の始まりにあたって、私たちは、より多くの学生が本格的なツールを手にしてキャンパスへ戻ることを望んでいます。そこで
今月誕生日の人、おめでとうございます🎉 エデュケーショナルサービス課の森純子です。 2026年9月1日に Kiro Web が GA(Generally Available、一般提供)しました🎉 Kiro Web Is Now Generally Available(kiro.dev changelog、2026年9月1日): kiro.dev 気づけば、Kiro には IDE・CLI・Web・Mobile・Crew と入口がどんどん増えていて、「何をしたい時に、どれを使えばいいのかしら...」とふと思い
本記事は「 Are AI coding agents actually getting better? 」を翻訳したものです。 Kiro IDE のコーディングエージェントがコードを書いたり変更したりすると、 diagnostics ツール が静的解析器を実行して出力をチェックします。これは、開発者がエディタ上で下線として目にするのと同じチェックです。実際にこのツールは、モジュールの import 漏れ( Cannot find module 'aws-cdk-lib' or its correspond
本記事は「 How We Learned to Trust an AI Agent to Triage Production Incidents 」を翻訳したものです。 ある日曜日の午前 2 時 33 分(PDT)、フロンティアモデルの可用性アラームが発報しました。本番のレスポンスがストリームの途中で止まりはじめ、監視システムが自動でチケットを起票しました。 その 13 分 35 秒後、午前 2 時 46 分(PDT)には、根拠のある診断がチケット上に載っていました。ストリームが本番バグかキャパシティのス
本記事は、2026 年 8 月 18 日に Brian Beach が公開した「 Close the laptop, keep the agent: building with cloud sessions 」を翻訳したものです。 Kiro は cloud sessions(preview)をリリースしました。これは、自分のマシンで AI エージェントを動かすときにずっと引っかかっていた 1 つの問題、つまりマシンそのものに縛られる問題を解決してくれます。cloud sessions を使えば、エージェン