I have been working on a derivation step auditor for checking any mistakes in your (or your AI buddy's) mathematical derivations!

https://samosa-math.vercel.app/