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 编程助手，直接在命令行中完成代码读写与文件操作

What The Diff What The Diff

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

FrogBoss Microsoft

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

Kiro Kiro

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

Poolside AI Poolside

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

Codebuff Codebuff

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

Warp Warp

用 Rust 重写的智能体开发有境，把终端升级为可对话、可自主执行任务的 AI 工作台

FreeLLMAPI FreeLLMAPI

开源 OpenAI 兼容代理，聚合 28+ 家免费 LLM 额度为一站式 API