AI编程

LangKit WhyLabs

WhyLabs 出品的开源 LLM 文本指标工具包，提取提示词与响应的质量、安全与相关性信号

Windsurf Windsurf

Windsurf 是 Codeium 团队打造的 AI 原生 IDE，Cascade Agent 让开发者获得"会自己干活"的伙伴。

Project Padawan GitHub

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

Amazon Q Developer AWS

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

Codeflash AIStartMap

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

F* F*

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

Langfuse Langfuse

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

What The Diff WTD

AI 驱动的 Pull Request 摘要工具，自动生成代码变更说明与审查建议

Portkey Portkey

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

Amazon Q Developer CLI

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

Codebuff Codebuff

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

FrogBoss Microsoft

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