Profile My skills Saved Collections Edit profile Submit a skill

← all publishers

antiamerican-postponer432

@antiamerican-postponer432 source repo

13 published skills

  1. ▌
    Wolfbook · antiamerican-postponer432
    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).
    0 installs
  2. ▌
    Sync Brief · antiamerican-postponer432
    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.
    0 installs
  3. ▌
    Sync Wb Nb · antiamerican-postponer432 bundle
    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.
    0 installs
  4. ▌
    Latex Compile · antiamerican-postponer432
    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.
    0 installs
  5. ▌
    Overleaf Sync · antiamerican-postponer432
    overleaf-sync
    0 installs
  6. ▌
    Reality Check · antiamerican-postponer432
    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.
    0 installs
  7. ▌
    Apply Pipeline · antiamerican-postponer432
    $apply-pipeline — turn a pipeline (or audit) into code edits
    0 installs
  8. ▌
    Check Pipeline · antiamerican-postponer432
    $check-pipeline — verify a code matches its pipeline doc
    0 installs
  9. ▌
    Cross Validate · antiamerican-postponer432 bundle
    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.
    0 installs
  10. ▌
    Nb To Wolfbook · antiamerican-postponer432 bundle
    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.
    0 installs
  11. ▌
    Write Pipeline · antiamerican-postponer432 bundle
    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.
    0 installs
  12. ▌
    Verify Citation · antiamerican-postponer432
    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.
    0 installs
  13. ▌
    Wolfram Headless · antiamerican-postponer432 bundle
    wolfram-headless — reliable headless Wolfram under a coding agent
    0 installs