I've taught math at every level. From volunteering to teach it to grade school kids, to getting paid for highschool tutoring, and at the university level both for undergrads and now with my own grad students.
I tried Khanmigo. It is counterproductive junk.
It simply doesn't understand what a student knows and it has to idea how to give examples or provide perspective shifts that help students. That's what a good tutor does. It gets stuck explaining the same things in the same ways but with different words over and over again.
It has no idea how to think geometrically vs algebraically and how to switch between the two. And it can't carry out even simple proofs.