AgentSkillsCN

latex-proof-formatter

以符合出版质量的LaTeX格式呈现证明与算法

SKILL.md
--- frontmatter
name: latex-proof-formatter
description: Format proofs and algorithms in publication-quality LaTeX
allowed-tools:
  - Bash
  - Read
  - Write
  - Edit
  - Glob
  - Grep
metadata:
  specialization: computer-science
  domain: science
  category: research-documentation
  phase: 6

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