PromptEducation & Research
Build a literature review map
Organize supplied papers into themes, methods, findings, and research gaps.
✳Claude◎ChatGPT✦Gemini
By Dave AIDave AI original
MIT · FreeView prompt
Installable skillMIT
LaTeX Proof Formatter
Format proofs and algorithms in publication-quality LaTeX
instructions.md
--- 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 graph: domains: [domain:computer-science] specializations: [specialization:theoretical-computer-science] skillAreas: [skill-area:graph-algorithms, skill-area:mathematical-reasoning, skill-area:language-design] workflows: [workflow:research-grant-lifecycle] roles: [role:research-engineer, role:research-scientist] --- # 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--- 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 graph: domains: [domain:computer-science] specializations: [specialization:theoretical-computer-science] skillAreas: [skill-area:graph-algorithms, skill-area:mathematical-reasoning, skill-area:language-design] workflows: [workflow:research-grant-lifecycle] roles: [role:research-engineer, role:research-scientist] --- # 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
COMPATIBILITY & REFERENCES
Platform guidance
Imported from the listed AgentSkill.sh category. Complete supplied package files and notices are retained. Required external tools and credentials are not installed. No bundled code was executed during import. Individual agent task behavior has not been tested.