agentsclimarketplace

Latex proof formatter

Skill a5c-ai/babysitter/library/specializations/domains/science/computer-science/skills/latex-proof-formatter

Babysitter enforces obedience on agentic workforces and enables them to manage extremely complex tasks and workflows through deterministic, hallucination-free self-orchestration

Install
npx -y skills add a5c-ai/babysitter --skill latex-proof-formatter

Assembled from the repository path, not quoted from the project. Check it against their README if it does not work.

What its author says it does

Copied from the file, not written here

Format proofs and algorithms in publication-quality LaTeX

SKILL.md

1.3 KB, as published. Nobody here has run it

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

Keep looking

Skills are one crate of 328,083. Ordering is by how many stacks a row turns up in, so the top of any crate is what has actually been picked rather than what has the most stars.