MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).
show/hide this revision's text 1 [made Community Wiki]

Grammar checker? No. But spell checker? Yes. Emacs comes with an interface to aspell which works pretty well. I suspect a grammar checker would have a hard time with mathematical prose anyhow, as it is so different from the prose such programs are written for.