AI编程

Amazon Q Developer AWS

AWS 官方AI开发助手，深度集成AWS生态与代码安全扫描

Codeflash AIStartMap

面向工程团队的 AI 代码性能优化引擎，通过自动化代理实现持续性能工程与基础设施成本削减

What The Diff What The Diff

AI 自动为 Pull Request 生成自然语言摘要，让代码审查不再依赖「wip」式提交信息

F* F*

面向证明的编程语言，依赖类型 + SMT 自动化验证，代码提取至 OCaml/C/Rust，2026 引入 AI 证明助手

Kiro Kiro

亚马逊推出的规格驱动 AI IDE，把需求、设计与任务沉淀为 Spec，让智能体有据可循地编码

Poolside AI Poolside

面向企业软件工程的AI编程平台，自研代码大模型

Amazon Q Developer CLI

AWS 推出的 AI 编程辅助命令行工具，在终端中提供自然语言驱动的代码生成与云资源管理

Codebuff Codebuff

终端驱动的 AI 编程助手，直接在命令行中完成代码读写与文件操作

What The Diff What The Diff

AI 自动为 Pull Request 生成自然语言摘要，让代码审查不再依赖「wip」式提交信息

FrogBoss Microsoft

微软开源系列编程模型，基于BugPilot方法训练的代码漏洞修复模型

Plandex Plandex

面向真实大型项目的开源 AI 编程代理，强调终端工作流与多文件任务执行能力。

Amazon Q Developer Amazon Q

AWS 官方 AI 编程助手，深度集成云服务，提供代码生成与安全扫描