F* F*
面向证明的编程语言，依赖类型 + SMT 自动化验证，代码提取至 OCaml/C/Rust，2026 引入 AI 证明助手
Langfuse Langfuse
开源的 AI 工程平台，把追踪、评测、提示词管理与实验流程合并到同一工作台
Portkey Portkey
AI 应用的全栈 API 网关与可观测性控制平台
Amazon Q Developer AWS
AWS 官方AI开发助手，深度集成AWS生态与代码安全扫描
