Your editor has spelling and grammar checkers. Your math editor should check your math (not just arithmetic, but algebra, calculus, and proofs as well). That is what Lurch does; it is a simple math editor with a general-purpose proof checker built in.
I am coauthor of Lurch along with Nathan Carter of Bentley University. We were supported by a grant from the National Science Foundation from Summer 2008-Summer 2011 (grant #0736644), and continue to work on the project.
I have integrated Lurch with my course materials and lecture notes in my introduction to proof course at the University of Scranton. You can try it yourself and see Lurch in action at my Spring 2024 Math 299 course home page. Instructors who want to create their own course materials can get started with an updated and improved version of those course materials here:
Instructors can fork that site on Github to make copy of the site in their own account and activate it as a website using the Github Settings>Pages menu. You can then replace the index.html page with whatever you like and add or modify any additional course content you see fit.
If you have any questions, contact me.