AIプログラミング

コードバディIDE CodeBuddy

Tencent が発表したフルスタック開発 AI IDE は、要件から設計、コーディング、展開まですべてを統合します。

コードを偽造する Forge

開発者がターミナルでコードを計画、変更、検証するのに役立つマルチモデル AI ペア プログラミング ツール。

コードフラッシュ AIStartMap

エンジニアリング チーム向けの AI コード パフォーマンス最適化エンジンにより、自動化されたエージェントを通じて継続的なパフォーマンス エンジニアリングとインフラストラクチャのコスト削減が可能になります

F* F*

証明指向プログラミング言語、依存型+SMT自動検証、OCaml/C/Rustへのコード抽出、2026年AI証明アシスタント導入

Amazon Q 開発者 AWS

AWS 公式 AI 開発アシスタント、AWS エコシステムおよびコードセキュリティスキャンと深く統合

コディに聞く AskCodi

ローカルで実行される AI エンジニアリング チーム - CTO エージェントは、分離された Git ワークツリーで並行して開発される複数の専門分野のエージェントを調整します

コードGPT CodeGPT

マルチモデルの統合 AI コード アシスタント、VS Code 拡張機能と独立したデスクトップ クライアントをサポート

ジェミニコードアシスト Gemini Code Assist

個人の開発者および企業エンジニアリング チーム向けの AI プログラミング アシスタントの Google Gemini シリーズ。

GitHub コパイロット Copilot

GitHub Copilot は、コード補完チャット、コーディング エージェント、マルチモデル コラボレーションをカバーする、世界で最も普及率の高い AI プログラミング アシスタントです。

Amazon Q 開発者 AWS

AWS によって開始された AI プログラミング アシスタントは、AWS エコシステムのコード生成およびデバッグ ツールを深く統合します。

コードクウェン Qwen Team

Alibaba Tongyi Qianwen チームが立ち上げた大規模なコード固有モデルは、92 のプログラミング言語と 64K のコンテキストをサポート

コーデックス CLI Codex CLI

ターミナル内で実行される OpenAI コーディング エージェント。コードの変更、テスト、レビューをローカル ワークフローに組み込むのに適しています。