Check the LanguageTool plugin for TeXmacs at tm-forge. It can spot spelling, grammar, typography and style issues in many languages (autodetected).
The FOSS LanguageTool is certainly not as good as more recent AI-based text-proofing engines, but it’s already useful.
I have only tested the plugin on Linux, and it may need minor adjustments on other OSes.