Currently overclaim detection only scans .tex files. Many papers are written in Markdown (Quarto, R Markdown, Manubot). The overclaim patterns in rigorous/core/overclaim.py should work on .md with minimal changes — mainly stripping LaTeX-specific comment detection.
Currently overclaim detection only scans .tex files. Many papers are written in Markdown (Quarto, R Markdown, Manubot). The overclaim patterns in
rigorous/core/overclaim.pyshould work on .md with minimal changes — mainly stripping LaTeX-specific comment detection.