https://app.kani-math.com/ 2026-08-04 weekly 0.8