Wyrm: 通过手势交互解决代数方程

Show HN: Wyrm – Solve algebra by touch, built on an open-source soundness engine

Wyrm 是一款基于开源引擎 Wyrm-math 构建的创新代数应用，彻底改变了用户解方程的方式。它允许用户通过拖拽项跨越等号、点击幂次展开或提取公因式等直观手势来操作数学表达式。其核心在于“条件健全性”设计：合法的操作永远可行，非法的操作根本无法执行。系统不会事后验证方程，而是通过重写规则确保每一步变换都天然正确。所有运算基于精确的有理数，拒绝浮点误差，并自动追踪如“除数不为零”等假设条件。无论是 iOS、Android 还是浏览器，Wyrm 都能提供流畅的数学探索体验。

"合法的操作永远可行，非法的操作根本无法执行。"