Wyrm – Exact conditional-sound symbolic algebra engine

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

Wyrm is an open-source, conditionally-sound symbolic algebra engine built in Pure TypeScript that powers gesture-based math interfaces. It enables users to solve equations by dragging terms, tapping powers, or pulling out factors, ensuring that every legal move is possible while illegal ones are impossible. By treating conditions like division by zero as first-class visible assumptions, Wyrm guarantees mathematical soundness without floating-point approximations. The engine runs anywhere from Node to browsers and native webviews, offering a robust foundation for building intuitive, manipulative math applications like the Wyrm Math app.

"The core invariant: legal moves are possible, illegal moves are impossible."