Advance papers through publication
pub-advancecommandsetup L2★71
the-omega-institute/automath ↗What it does
Automatically advance academic papers through P0-P7 publication pipeline stages
Best for
Batching publication work across multiple papers in parallel while enforcing stage gates
Inputs
- · [object Object]
- · [object Object]
Outputs
- · [object Object]
- · [object Object]
Requires
- · python
- · pipeline_auto.py script
- · pub_check.py quality gates
- · Lean4 (for P6)
Preconditions
Paper directory with .tex files; PIPELINE.md started
Failure modes
- · P4 issues remain after P5 → re-run pub_check
- · Lean4 out of sync → manual proof fixes needed
- · Agent diverges from scope → restart stage with tighter prompt
Trust signals
- · Parallel dispatch rules documented
- · Quality gate (pub_check.py) blocks progression
- · Coverage mapping to Lean4 in P6