antiamerican-postponer432

cross-validate

Format a result, derivation, or numerical value for independent verification by a second model (Claude, Gemini, or a fresh Codex context). Use for a cross-check on an important or contested result.

Code & Development Listed

Compile a LaTeX document and fix every error plus aesthetic issue (overfull/underfull boxes, widows, alignment, fonts) for a clean PDF and log. Use instead of running pdflatex/latexmk by hand — avoids the latexmk stale-log trap and silent grep failures on binary log output; reformats, never rewords.

nb-to-wolfbook

Convert Mathematica .nb or .m files to Wolfbook .wb format so they open and run in VS Code; makes cells bridge-safe (one statement per line) and de-rectangles PUA operators. Use when bringing existing .nb/.m files into Wolfbook or to fix an existing .wb.

reality-check

Re-derive a contested or pushed-back claim in isolation from the definitions, to catch sycophantic capitulation. Use when a result is disputed or an answer may have changed only because the user pushed back.

sync-wb-nb

Propagate a change made in a Wolfbook .wb notebook into the paired .nb notebook so the two stay identical. Use immediately after every .wb edit; regenerate mode rebuilds a whole .nb.

verify-citation

Confirm a paper actually exists (arXiv / Semantic Scholar / OpenAlex) before citing it. Use before writing any new citation into a .tex, .bib, or .md file.

wolfbook

Playbook for the Wolfbook MCP tools — driving the LIVE Wolfram kernel and a .wb/.nb notebook in VS Code from Codex (read/search/edit/run cells, evaluate expressions, checkpoint/restore kernel state, step-debug, look up symbols, find paclets, search INSPIRE/arXiv papers). Use whenever working through the Wolfbook MCP instead of headless wolframscript - pick the right tool, avoid the multi-statement reparse and runCell bridge bugs, and use kernel checkpoints for safe rollbacks. Complements the wolfram-headless skill (which covers headless .wls runs).

Data & Documents Listed

write-pipeline

Write (or refresh) a Pipeline/ doc mapping a big code's data flow, key symbols, and gotchas, so sessions read the map before the (large) source. Use when a load-bearing code has grown too big to hold in context.

sync-brief

Propagate load-bearing changes from workbook.tex to brief.tex (new theorems, corrected formulas, status changes). Use after establishing a new result; not for every edit.