Verify mathematical correctness and theoretical soundness of research papers. Checks derivation steps, notation consistency, assumption completeness, convergence arguments, and novelty assessment. Use after theory formulation or when reviewing mathematical content in LaTeX papers.
Run these checks sequentially. STOP at the first CRITICAL failure.
# Extract all math symbols from LaTeX and check for redefinitions
grep -n '\\mathbf\|\\mathcal\|\\alpha\|\\beta\|\\lambda\|\\eta' workspace/paper/main.tex
For each equation block in the paper:
For each theorem or lemma:
Compare against workspace/logs/literature_kb.json:
Write findings to workspace/logs/theory_audit.json:
{
"timestamp": "...",
"iteration": N,
"status": "PASS | WARN | CRITICAL",
"notation_issues": [],
"derivation_gaps": [],
"theorem_issues": [],
"convergence_concerns": [],
"novelty_assessment": "CONFIRMED | NEEDS_STRENGTHENING | INSUFFICIENT",
"score": X // 1-10
}