latex-proof-formatter

Format proofs and algorithms in publication-quality LaTeX

509 stars

Best use case

latex-proof-formatter is best used when you need a repeatable AI agent workflow instead of a one-off prompt.

Format proofs and algorithms in publication-quality LaTeX

Teams using latex-proof-formatter should expect a more consistent output, faster repeated execution, less prompt rewriting.

When to use this skill

You want a reusable workflow that can be run more than once with consistent structure.

When not to use this skill

You only need a quick one-off answer and do not need a reusable workflow.
You cannot install or maintain the underlying files, dependencies, or repository context.

Installation

Claude Code / Cursor / Codex

$curl -o ~/.claude/skills/latex-proof-formatter/SKILL.md --create-dirs "https://raw.githubusercontent.com/a5c-ai/babysitter/main/library/specializations/domains/science/computer-science/skills/latex-proof-formatter/SKILL.md"

Manual Installation

Download SKILL.md from GitHub
Place it in .claude/skills/latex-proof-formatter/SKILL.md inside your project
Restart your AI agent — it will auto-discover the skill

How latex-proof-formatter Compares

Feature / Agent	latex-proof-formatter	Standard Approach
Platform Support	Not specified	Limited / Varies
Context Awareness	High	Baseline
Installation Complexity	Unknown	N/A

Frequently Asked Questions

What does this skill do?

Format proofs and algorithms in publication-quality LaTeX

Where can I find the source code?

You can find the source code on GitHub using the link provided at the top of the page.

SKILL.md Source

# 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