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