(Ce n'est pas trop poli de répondre à vos propres questions, mais c'est ce que j'ai fait.)
LanguageTool est un très bon vérificateur de grammaire autonome basé sur Java. Cependant, cela fonctionne sur du texte brut. Par conséquent, j'avais besoin de convertir mon document LaTeX en un document texte aussi simple que possible - Ce n'est pas une tâche simple. J'ai réussi à le faire en utilisant l'astuce suivante :
- J'ai fait en sorte que tous les flotteurs maintiennent leurs positions en utilisant le package de flotteurs et l'option H. Ceci est nécessaire pour que les légendes ne cassent pas les paragraphes lors de la transformation en texte brut.
- J'ai supprimé les numéros de ligne à l'aide du package nopageno.
- J'ai utilisé un script sed pour faire quelques ajustements supplémentaires, comme ajouter des points aux noms de section et aux étiquettes de description. Je ne publie pas le script ici, car il est vraiment spécifique à mon propre style et à mes conventions.
- Après ce prétraitement, j'ai compilé en DVI et exécuté
catdvi -s. - J'ai utilisé un autre script sed simple pour supprimer les lignes vides et les sauts de page. Le résultat final est une conversion textuelle raisonnable du document LaTeX, sur laquelle LanguageTool peut travailler.
Il reste encore quelques ennuis, comme les listes de programmes en ligne, que le vérificateur de grammaire ne peut pas comprendre, mais dans l'ensemble, j'ai obtenu une vérification de preuve automatisée décente :)
J'ai écrit un vérificateur de grammaire pour vérifier les documents TeX appelé LyX-GC. Il peut également être utilisé en ligne en tant qu'application Web.
Il peut utiliser LanguageTool comme back-end. Les principaux avantages par rapport à la simple utilisation directe de LanguageTool sont que (1) il filtre le TeX pour éviter les faux positifs de LanguageTool essayant d'interpréter les commandes TeX en anglais et (2) il possède des centaines de règles propres, y compris des règles spécifiques à TeX. Par exemple, il sait que "See \ref{lem:foo} " devrait vraiment être "See Lemma \ref{lem:foo} ". (De plus, si vous utilisez LyX, LyX-GC a évidemment l'avantage de pouvoir s'intégrer à LyX.)
LyX-GC ne prend vraiment en charge que l'anglais (bien qu'il existe un support expérimental en français dans le référentiel git).
Je viens de finir d'écrire un nouvel outil pour vérifier l'orthographe et la grammaire directement sur les fichiers LaTeX, appelé TeXtidote :
https://sylvainhalle.github.io/textidote
Le programme peut supprimer le balisage du fichier et l'envoyer à la bibliothèque Language Tool, qui effectue une vérification de l'orthographe et de la grammaire dans une douzaine de langues. Ce qui est unique à TeXtidote, c'est qu'il garde une trace de la position relative des mots entre le texte original et le texte "propre". Cela signifie qu'il peut traduire les messages de Language Tool à leur emplacement approprié directement dans votre fichier source. Par défaut, TeXtidote produit un rapport HTML qui affiche vos sources originales, avec les erreurs trouvées par Language Tool mises en évidence au bon endroit :
L'outil est gratuit et facile à installer (indépendant du système d'exploitation, nécessite Java). Je vous encourage à essayer et dites-moi ce que vous en pensez ! (Plus d'informations sur le téléchargement/l'installation/l'utilisation peuvent être trouvées sur la page Lisez-moi du référentiel GitHub ; cliquez sur le bouton "Télécharger" sur le site Web pour y accéder.)