AI编程

Furion Furion

让 .NET 开发更简单、更通用、更流行的国产开源框架

LangKit WhyLabs

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

Project Padawan GitHub

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

Codeflash AIStartMap

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

F* F*

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

Langfuse Langfuse

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

Portkey Portkey

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

Amazon Q Developer AWS

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

FrogBoss Microsoft

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

Kiro Kiro

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

Poolside AI Poolside

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

Amazon Q Developer CLI

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