OpenSkillIndex← back to search
claude-codescience

Babysitter latex-proof-formatter

Format proofs and algorithms in publication-quality LaTeX

install
source · Clone the upstream repo
git clone https://github.com/a5c-ai/babysitter
Claude Code · Install into ~/.claude/skills/
T=$(mktemp -d) && git clone --depth=1 https://github.com/a5c-ai/babysitter "$T" && mkdir -p ~/.claude/skills && cp -r "$T/library/specializations/domains/science/computer-science/skills/latex-proof-formatter" ~/.claude/skills/a5c-ai-babysitter-latex-proof-formatter && rm -rf "$T"
manifest: library/specializations/domains/science/computer-science/skills/latex-proof-formatter/SKILL.md
tags
#latex-formatting#theorem-typesetting#algorithm-pseudocode#math-typesetting#publication-quality
source content

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