菜单
Audit the current draft for craft and integrity violations. Runs `integrity-gatekeeper` and `exposition-gatekeeper` agents in parallel, synthesizes findings into Critical / Important / Minor. **Reports only — never auto-fixes.** **Does not check math.** Use after any substantive draft pass.
用 Codex 或 Claude 帮你安装 复制这段 Prompt，粘贴到 Codex、Claude 或其他助手里，让它检查 Skill 页面并帮你完成安装。
基于 SOC 职业分类
End-to-end first-draft orchestrator. Takes an **external target folder path** (the paper lives outside this repo). Sets up missing scaffold pieces, then runs the role agents in two phases: Phase 1 (parallel) writes related-lit and model-prose. Phase 2 (sequential) writes results-prose, then optional discussion, then intro (incl. closing if warranted), then abstract last. Pauses for review between phases. Use when the user says "draft <path>", "draft `~/Documents/papers/foo`", or similar.
Verify EVERY entry in a paper's `refs.bib` against Crossref's canonical record. Catches wrong DOIs, years, volumes, issues, pages, venues, and author lists; flags missing DOIs with the record to add; and detects when a "working paper" now has a published version. **Report-only — never edits the .bib.** **Does not check math or prose.** Use before any "final" compile / submission, or whenever the user says "check the citations", "verify the bib", "crossref the references", "are the citations right".
Compile a paper in `<target>/tex/` to PDF. Runs pdflatex → bibtex → pdflatex → pdflatex, parses the .log for errors, surfaces a focused error report. Use whenever the user says "compile", "build the PDF", or after any non-trivial edit to the .tex sources.
Bootstrap a new paper. Asks for an external target path, creates the directory, copies the scaffold, and walks the user through filling in the brief. Use when the user says "new paper", "start a paper", "I want to write a paper", "set up a new paper", or when they're new to the repo and need onboarding. This is the **first-run entry point**.
Tighten the "why does this matter" thread running through abstract + intro P1-P2. Targets motivation density, not prose polish. Use after the first intro draft if motivation is weak.
Purge pipeline-internal references from the user's pre-baked proofs in `<target>/proofs/`. Outputs a `_cleaned/` directory + a diff report. **Never touches the math itself** — only removes meta-prose referring to the proof-checking pipeline (e.g., "in iteration 3 of the verification", "as shown in the previous step of the pipeline"). The user reviews the diff and decides whether to swap in the cleaned files.
| name | gatekeeper |
| description | Audit the current draft for craft and integrity violations. Runs `integrity-gatekeeper` and `exposition-gatekeeper` agents in parallel, synthesizes findings into Critical / Important / Minor. **Reports only — never auto-fixes.** **Does not check math.** Use after any substantive draft pass. |
Gatekeepers fail closed. They emit refusal classes, not suggestions. The user decides whether to act.
This pipeline does not check math — proofs come from a separate pipeline and are immutable input. The gatekeepers check prose integrity (citations, claim faithfulness against brief.md), structure, and craft.
User says: "run the gatekeeper", "audit the draft". Auto-invoked after hydrate skills and motivation-pass.
Spawn integrity-gatekeeper and exposition-gatekeeper agents in parallel (one Agent call with two tool uses).
integrity-gatekeeper audits citation faithfulness, claim faithfulness (prose vs brief.md/proofs/), notation consistency, cross-ref integrity.exposition-gatekeeper audits structure, prose, signposting, theory-paper conventions against STRUCTURE.md.Synthesize findings into a single report with three bands:
Critical — anything in the integrity refusal classes:
CLAIM-UNSUPPORTED: a prose claim doesn't trace to brief.md or proofs/.FABRICATED-REFERENCE: a \cite{} key not in refs.bib.DANGLING-REF: a \cref{...} to a non-existent label.NOTATION-MISMATCH: prose notation doesn't match model.tex / proofs/.Important — craft / structural issues from the exposition-gatekeeper:
BOILERPLATE-INTRO, INTRO-OVERCITED, NO-CONTRIBUTION-SENTENCE, ROADMAP-OVERLOADEDRELATED-CHRONOLOGICAL, NO-DIFFERENTIATIONORPHANED-NOTATION, NO-INTUITIONMinor — copy-edit issues:
STYLE-WORD, STYLE-HEDGE, PARAGRAPH-LENGTHABSTRACT-BOILERPLATE, ABSTRACT-LENGTH, ABSTRACT-CITESDo not edit any files. Output is the report.
## Gatekeeper report — <target> — <timestamp>
### Critical (N)
- [CLAIM-UNSUPPORTED] intro.tex:42 — "robust to any prior" not in brief.md or proofs/.
- [FABRICATED-REFERENCE] related.tex:13 — \cite{bergemann2024robust} not in refs.bib.
### Important (N)
- [BOILERPLATE-INTRO] intro.tex:3 — opens with "In this paper, we…"
- [RELATED-CHRONOLOGICAL] related.tex paragraph 2
### Minor (N)
- [STYLE-WORD] intro.tex:18 — "novel"
- ...
### What I did not check
- Mathematical correctness (out of scope for this repo).
- Whether cited results say what's attributed to them (only that citations exist).
latex-compile you think of as "final."