Show HN· Hussain04·2026-10-27 21:06· 6 天前AI 评分5Samosa – 数学推导代码检查工具Show HN: Samosa – Linter for Math DerivationsAI 导读Samosa 是一款用于数学推导代码的检查工具,旨在帮助开发者识别和修复数学推导中的错误。来源:Show HN · samosa-math.vercel.app#开源/仓库查看事件全部后续