AI IDE

Prism 是运行在浏览器中的 AI LaTeX 编辑器，支持项目创建、导入、编辑和预览，适合论文作者、研究生与技术写作者整理公式密集文稿，正式投稿前仍需人工核对格式、引用与编译结果。

Traycer 强调规格优先的 AI 编码流程，帮助开发者先规划变更、明确执行步骤，再用 AI 推进实现，适合需要减少盲目生成代码的团队，并让复杂任务在生成代码前先形成更清晰的执行路径。

Kiro 是面向工程化开发的 AI 编程工具，强调从意图、规格、任务到代码实现的连续管理，适合把 AI 编码纳入正式研发流程的团队，并沉淀规格、上下文和交付记录，减少协作返工，并强化验证。

Google Antigravity 是面向代理式开发的 AI 编程环境，围绕任务规划、代码编辑和浏览器验证协同工作，适合想把多步骤开发交给智能代理推进的团队，并帮助开发者在真实项目中保持验证闭环。