Coda AI：HackerNews 最热讨论整理（最近 90 天）

开源AI工具集中爆发：CAD设计、代码审查与测试代理成热点

近期，HackerNews 上涌现了一批聚焦 AI 辅助开发与设计的开源项目，其中涉及计算机辅助设计（CAD）、自动化测试代理以及代码审查工具。这些项目均以开源或自托管形式发布，显示出开发者社区对透明可控 AI 工具的强烈需求。

开源AI CAD工具「Adam」获社区高关注

由 YC 孵化器 W25 批次支持的「Adam」项目，以开源 AI CAD 工具的身份亮相，获得了 208 个点赞和 97 条评论，成为近期热度最高的帖子之一。该项目旨在通过 AI 技术降低 CAD 建模的门槛，允许用户以自然语言或简单操作生成三维模型。其代码已托管至 GitHub，社区讨论焦点集中在开源许可、模型训练数据来源以及与现有商业 CAD 软件的兼容性上。来源

自动化测试代理「TesterArmy」与代码审查工具「TREX」并行推出

另一款 YC 孵化项目「TesterArmy」（P26 批次）主打 AI 代理，能够自动测试网页和移动应用。该项目获得了 120 个点赞和 55 条评论，讨论者普遍关注其测试覆盖率、与 CI/CD 管线的集成能力，以及如何处理动态内容。与此同时，「TREX」作为一款能够实际运行代码的 AI 代码审查工具，也吸引了 59 个点赞。TREX 的特色在于，它不仅分析静态代码，还会在沙盒环境中执行代码以发现运行时错误，这一设计思路在评论中引发了关于安全性和性能开销的讨论。来源 来源

两款开源代码审查工具：Talos 与 Mira

在代码审查领域，本周还出现了两款开源选项。「Talos」是一个为 Lean 定理证明器设计的开源 WASM 解释器，获得了 53 个点赞。该项目旨在让 Lean 代码能在浏览器中直接运行，从而降低形式化验证的门槛。另一款「Mira」则定位为开源且可自托管的 AI 代码审查工具，虽然点赞数相对较低（15个），但其“自托管”特性在评论中被认为对注重数据隐私的团队具有吸引力。来源 来源

以上整理自 HackerNews 公开讨论，原帖见上方链接。