latex-proof-formatter
Format proofs and algorithms in publication-quality LaTeX
npx skills add a5c-ai/babysitter --skill latex-proof-formatter --agent claude-code
Same command for any agent — swap --agent for codex, cursor, copilot.
Weekly change comes from our own snapshots, not the repository page — it measures attention, not adoption.
# LaTeX Proof Formatter ## Purpose Provides expert guidance on formatting theoretical CS proofs and algorithms in publication-quality LaTeX. ## Capabilities - Algorithm pseudocode formatting (algorithmicx) - Inference rule typesetting - Proof environment formatting - Theorem numbering and cross-references - BibTeX integration - Conference style compliance ## Usage Guidelines 1. **Structure**: Organize proof structure clearly 2. **Algorithms**: Format algorithms with algorithmicx 3. **Rules**: Typeset inference rules with mathpartir 4. **References**: Manage cross-references properly 5. **Style**: Conform to conference/journal style ## Tools/Libraries - LaTeX - algorithmicx - mathpartir - amsthm - Overleaf
- Purpose
- Capabilities
- Usage Guidelines
- Tools/Libraries
What does the latex-proof-formatter skill do?
Format proofs and algorithms in publication-quality LaTeX
How do I install it?
Run `npx skills add a5c-ai/babysitter --skill latex-proof-formatter --agent claude-code` — it drops the skill into your project so the agent can pick it up. Swap the --agent value for codex, cursor or copilot if you use one of those.
Where does this skill come from?
From a5c-ai/babysitter, a repository with 1,642 stars. We read it straight from the repository tree rather than a submitted listing, so what you see here is what is actually published.
Is a popular skill a good skill?
Not necessarily. Stars measure attention, not adoption — a repository can trend for a week and be abandoned. That is why we show the weekly change from our own snapshots next to the total, instead of a single flattering number.