agentmods.dev

latex commands

113 tagged latex, measured the same way as everything else here.

Browse within: beta 56academic-research 45formal-methods 42z-notation 42z-notations 42pdf-generation 14product-discovery 14academic-writing 11latex-editor 11

Sort RelevanceRecently updatedFewest tokensSecurity gradeRepo starsStars this weekTop rated 113 mods

camera-ready

01

flonat/flonat-research

Command Claude Code

Convert an accepted anonymous-submission LaTeX paper (AAAI/AIES/ACM-style) to camera-ready and implement the accepted reviews. Use when a paper is accepted with no rebuttal and you need to de-anonymize, add copyright, turn on section numbering, implement each reviewer's minor revisions, optionally move proofs to a…

130 6d ago A 102 tokens original MIT

compile-knowledge

02

flonat/flonat-research

Command Claude Code

Compile literature, meeting notes, session logs, and code findings into a structured per-project knowledge wiki. Use when project evidence is scattered across source records and needs synthesis into durable articles. Not for promoting existing articles into the global vault wiki; use $wiki-grow.

130 6d ago A 52 tokens original MIT

cross-language-check

03

flonat/flonat-research

Command Claude Code

Replicate a quantitative analysis in a second language (R↔Python↔Stata↔Julia) and compare outputs for implementation errors. Use when an existing empirical result needs independent cross-language verification. Not for reviewing one implementation in place; use $code-suite.

130 6d ago A 54 tokens original MIT

meeting-hive

04

punt-labs/prfaq

Command

Run an autonomous PR/FAQ review meeting where four personas debate and reach consensus without user intervention.

25 yesterday A 18 tokens original MIT

meeting-listen

05

punt-labs/prfaq

Command

Play back a completed meeting summary as a voiced debate between personas.

25 yesterday A 12 tokens original MIT

vote

06

punt-labs/prfaq

Command

Assess whether a PR/FAQ should move forward with a structured go/no-go decision.

25 yesterday A 16 tokens original MIT

oracle-dev

07

punt-labs/z-spec

Command

Generate property-based test harness using Lean 4 model as oracle.

5 yesterday A 12 tokens original MIT

refine-dev

08

punt-labs/z-spec

Command

Verify code refines Z specification via abstraction function and commutativity checks.

5 yesterday A 14 tokens original MIT

refine

09

punt-labs/z-spec

Command

Verify code refines Z specification via abstraction function and commutativity checks.

5 yesterday A 14 tokens original MIT

setup

10

zircote/latex-lsp

Command

Interactive setup for LaTeX LSP development environment.

1 21d ago B 10 tokens original MIT