# Latex Proof Formatter

> Latex Proof Formatter is an Agent Skill for documents published in the a5c-ai/babysitter repository on GitHub: a SKILL.md instruction file an AI agent can load to do this task.

Format proofs and algorithms in publication-quality LaTeX

- Skill name: `latex-proof-formatter`
- Category: [Documents](https://www.openparable.com/skill/documents/1)
- Source: https://github.com/a5c-ai/babysitter/blob/HEAD/library/specializations/domains/science/computer-science/skills/latex-proof-formatter/SKILL.md
- Repository: a5c-ai/babysitter (1,548 GitHub stars when collected)

## SKILL.md

# 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

---

Source: https://www.openparable.com/skill/documents/latex-proof-formatter (OpenParable). Cite the canonical URL above.