https://mechanizemath-production.up.railway.app/https://mechanizemath-production.up.railway.app/about/https://mechanizemath-production.up.railway.app/essays/2026-08-04-the-goal-of-mechanize-math/https://mechanizemath-production.up.railway.app/essays/2026-08-15-we-need-a-stockfish-for-math/https://mechanizemath-production.up.railway.app/progress/