AI编程

Project Padawan GitHub

面向复杂软件任务的 GitHub 系实验性 AI 编程代理项目，公开资料很少但产品方向很明确

Trae Trae

字节跳动推出的 AI 原生 IDE，主打与开发者协作的智能编程与自主开发能力

Amazon Q Developer AWS

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

Codeflash AIStartMap

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

F* F*

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

Langfuse Langfuse

开源的 AI 工程平台，把追踪、评测、提示词管理与实验流程合并到同一工作台

Portkey Portkey

AI 应用的全栈 API 网关与可观测性控制平台

Amazon Q Developer CLI

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

Codebuff Codebuff

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

FrogBoss Microsoft

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

Kiro Kiro

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

Poolside AI Poolside

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