Latex Proof Formatter
Documentslatex-proof-formatterLatex 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
QUICK START
How to use this skill
Bring this guide into your coding agent with a prompt tailored to the tool you use.
- Open your project in Codex.
- Copy and paste the prompt below.
- Review files and risks before approving any action.
Prompt to paste
Inspect the Agent Skill at https://github.com/a5c-ai/babysitter/blob/HEAD/library/specializations/domains/science/computer-science/skills/latex-proof-formatter/SKILL.md and all supporting files. Report provenance, permissions, scripts, dependencies, and security risks. Propose an exact installation into .agents/skills/latex-proof-formatter, but wait for my approval before writing files or running scripts.
Copying this prompt does not install or run the skill. Review third-party files before use.
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
- Structure: Organize proof structure clearly
- Algorithms: Format algorithms with algorithmicx
- Rules: Typeset inference rules with mathpartir
- References: Manage cross-references properly
- Style: Conform to conference/journal style
Tools/Libraries
- LaTeX
- algorithmicx
- mathpartir
- amsthm
- Overleaf