What The Diff What The Diff
AI 自动为 Pull Request 生成自然语言摘要，让代码审查不再依赖「wip」式提交信息
F* F*
面向证明的编程语言，依赖类型 + SMT 自动化验证，代码提取至 OCaml/C/Rust，2026 引入 AI 证明助手
Langfuse Langfuse
开源的 AI 工程平台，把追踪、评测、提示词管理与实验流程合并到同一工作台
Portkey Portkey
AI 应用的全栈 API 网关与可观测性控制平台
