tex-content

What problem does it solve?

This Skill ensures LaTeX content used in thesis writing adheres to four audiences, maintains correctness, and enforces consistent notation, reducing errors and rework.

Core Features & Use Cases

• Enforces audience-aware writing conventions for human readers, imagined master students, verification agents, and downstream Rust implementers.
• Verifies self-contained definitions and the precise use of notation, ensures proper theorem and proof structure, and checks citation consistency.
• If you work with math.tex files located in crates/ or experiments/, load math-tex instead to apply the target standards during content assembly.

Quick Start

Load the tex-content skill when drafting thesis chapters, proofs, definitions, or theorem statements to apply these standards automatically.