Progress
The site is up
Mechanize Math now exists. The stack is deliberately boring: Astro, one Markdown file per essay, KaTeX for equations, footnotes that render as margin sidenotes. Posts can be written from a phone through Pages CMS, which commits straight to the repository.
On deck: finish the taxonomy essay, and start surveying prior art — from the 1960s STUDENT program onward — on translating word problems into solvable form.