Wyrm – Solve algebra by touch, built on an open-source soundness engine 是一个「education」类 AI agent。定价:产品页未标明。截至 2026-10-27,KanonAgent 记录到 ▲81。本站首次收录于 2026-07-10。
Wyrm 是一个通过触摸交互解决代数问题的教育应用，基于开源的逻辑验证引擎，适合学生和教师使用，亮点在于将数学推理过程可视化并确保解答正确性
▲81
Kanon 于 2026 年 7 月 10 日 收录 · 当时 ▲38 · 现 ▲81
为什么值得关注
将形式化验证引入数学学习工具，兼顾趣味性与逻辑严谨性，是教育科技的创新尝试
信号来源: Hacker News
访问官网 →
手机端点「分享」直达微信/朋友圈/小红书;桌面端用「复制文案」后到 App 内粘贴发布
常见问题
Wyrm 是什么?
Wyrm 是一个通过触摸交互解决代数问题的教育应用，基于开源的逻辑验证引擎，适合学生和教师使用，亮点在于将数学推理过程可视化并确保解答正确性
Wyrm 为什么值得关注?
将形式化验证引入数学学习工具，兼顾趣味性与逻辑严谨性，是教育科技的创新尝试
Wyrm 有多少人在用?
KanonAgent 记录到:▲81(本站首次收录于 2026-07-10)。
Wyrm 有什么替代品?
KanonAgent 库内的同类 agent:TitleArt – Make text like it's 1997、A Truly Modular Keyboard、Glider 4.0 Unofficial Web Edition (Mac game port)、ADRs for AI – Deliberation records for human–AI work, versioned in Git、Steal My Bitcoin、Freehire, open-source search 3M+ tech jobs from company career boards。