← all publishers

flonat

@flonat source repo

Report this profile Claim this profile

• 94 skills
• 0 followers
• last month last updated

1. ▌
   Pre Submission Report · flonat

   Run the final, comprehensive submission-readiness gate and consolidate all checks into one dated report; citation-integrity-only mode is also supported. Use when a paper and submission package are nearly final. Not for a mid-draft adversarial review; use $review-cluster.
   5 installs
2. ▌
   Cross Language Check · flonat

   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.
   7 installs
3. ▌
   Brief Compliance Check · flonat

   Check a LaTeX coursework submission against the requirements in a supplied PDF assessment brief. Use when verifying format, required sections, word limits, or deliverables before submission. Not for general prose proofreading; use $proofread.
   7 installs
4. ▌
   Tailscale Mosh Recover · flonat bundle

   Diagnose and recover Mac Mini remote-access failures across Tailscale, mosh, resolver state, and public relays. Use when mosh hangs, the headless Mini disappears after a Tailscale change, or RustDesk/VNC/AnyDesk cannot reach its relay. Not for ordinary machine synchronization.
   7 installs
5. ▌
   Computational Experiments · flonat bundle

   Scaffold, execute, analyse, and publish computational research experiments through a reproducible staged workflow. Use when a research question requires simulations or computational sweeps rather than a one-off script.
   5 installs
6. ▌
   Init Project Orchestration · flonat bundle

   Create or migrate project-level agents, repeatable project workflows, and planning state from one client-neutral contract, then render repository-scoped adapters for both Claude Code and Codex. Use when a research project needs role separation, project commands, formal phase tracking, or conversion from an existing Claude-only .claude/agents and .claude/commands setup.
   7 installs
7. ▌
   Venue Guidelines Compliance · flonat bundle

   Audit a paper and submission package against current official venue requirements for its venue, track, article type, cycle, and stage. Use when checking templates, limits, anonymity, declarations, or required files before submission or inside $pre-submission-report. Not for venue recommendations.
   7 installs
8. ▌
   Retarget Journal · flonat

   Retarget an active manuscript to a different journal by reconciling venue identity, files, bibliography, citations, and submission-facing metadata. Use when a new target journal has already been chosen and the paper package must change. Not for choosing a venue; use the venue-fit workflow.
   9 installs
9. ▌
   Sync Permissions · flonat

   Reconcile the current project's Claude and Codex permission surfaces with the canonical global policy. Use when project permissions are missing, stale, or inconsistent after setup or migration. Not for syncing skills, hooks, or agents; use $sync-ai-infra.
   10 installs
10. ▌
    Weakness Scanner · flonat

    Identify recurring weak arguments, unsupported assumptions, and vulnerable inference patterns across a literature corpus. Use when stress-testing a body of work rather than reviewing one manuscript. For one paper's argument, use the appropriate paper-review workflow.
    9 installs
11. ▌
    Compile Knowledge · flonat

    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.
    10 installs
12. ▌
    Experiment Design · flonat bundle

    Design empirical studies through power analysis, pre-analysis planning, QSF parsing, and survey architecture. Use when specifying sampling, measurement, treatment, or analysis before data collection. Not for causal identification alone; use $causal-design.
    8 installs
13. ▌
    Multi Perspective · flonat bundle

    Explore a research question through several independent analytical perspectives and synthesize their agreements and disagreements. Use when one line of reasoning is insufficient and distinct viewpoints should be preserved.
    7 installs
14. ▌
    Pipeline Manifest · flonat

    Build a traceability manifest linking analysis scripts to inputs, outputs, and manuscript figures or tables. Use when documenting a computational pipeline or locating the source of a reported artefact. Not for verifying that paper claims match code outputs; use the code-paper auditor.
    8 installs
15. ▌
    Proof Readability · flonat

    Improve the exposition and readability of a mathematical proof already verified as correct without changing its mathematics. Use when polishing a lemma, theorem, proof, or appendix after correctness checks. Not for verifying the proof; use $verify-math.
    10 installs
16. ▌
    Replication Audit · flonat

    Map claims in a literature to independent replications, robustness checks, failures, and unresolved evidence gaps. Use when assessing the empirical reliability of a body of findings rather than reproducing one project's code. For package rerunnability, use $replication-package.
    8 installs
17. ▌
    Test Iterate Loop · flonat

    Autonomously diagnose a codebase, apply minimal fixes, and rerun tests until they pass or a real blocker is reached. Use when the user explicitly requests an iterative fix-until-green loop across Python, R, Julia, or HPC workflows.
    11 installs
18. ▌
    Init Project Light · flonat

    Bootstrap a lightweight project with minimal guidance, context, and repository structure. Use when a small non-research project needs durable AI collaboration without the full research or course scaffold. Not for formal research projects; use $init-project-research.
    8 installs
19. ▌
    Latex Health Check · flonat

    Compile all LaTeX projects and report cross-project build consistency. Use when checking whether a collection of papers builds cleanly. Not for rendered visual inspection after a clean build; use $latex-polish.
    8 installs
20. ▌
    Strategic Revision · flonat bundle

    Turn external referee correspondence or internal pre-submission feedback into a provenance-safe, DAG-validated revision master plan with atomic tasks, dependencies, critical path, and execution blocks. Use when feedback exists but must be converted into an approved implementation sequence. Not for drafting the reviewer response itself; use $review-response.
    7 installs
21. ▌
    Synthesise Reviews · flonat

    Deduplicate and reconcile multiple completed review reports into one prioritised revision plan with conflicts and dependencies made explicit. Use when parallel reviewers have returned findings that need a single action sequence. Not for running the reviews; use $review-cluster.
    10 installs
22. ▌
    Update Project Doc · flonat

    Update a project's own CLAUDE.md, README.md, or docs/ to reflect current state. Use when the user asks to update a project's own CLAUDE.md, README.md, or docs/ to reflect current state.
    8 installs
23. ▌
    Init Project Course · flonat bundle

    Bootstrap a university course or module folder with the canonical teaching structure, guidance, and starter files. Use when creating or migrating a course workspace. Not for checking an existing course without modifying it; use $audit-project-course.
    4 installs
24. ▌
    Replication Package · flonat bundle

    Assemble, anonymize, validate, or audit a research replication package. Use when preparing code and permitted data for reviewer or public release. Not for auditing code quality alone; use $code-suite or $replication-audit as appropriate.
    6 installs
25. ▌
    Wire Shared Package · flonat

    Add or repair an editable shared Python-package dependency across consuming projects, including clone-local configuration and verification. Use when multiple repositories must import the same local package source. Not for one project's ordinary environment setup; use $python-env.
    6 installs
26. ▌
    Review Cluster · flonat

    Deliver a mid-draft adversarial review of a paper — runs paper-critic + domain-reviewer + claim-verify + blindspot in parallel, optionally adds clarity-reviewer, then auto-synthesises into a prioritised revision plan. Use when the user requests a mid-draft adversarial review of a paper — runs paper-critic + domain-reviewer + claim-verify + blindspot in parallel, optionally adds clarity-reviewer, then auto-synthesises into a prioritised revision plan. Distinct from pre-submission-report (final-gate kitchen sink, 14 checks) — this is the active-drafting feedback loop. Triggers: 'review my draft', 'adversarial review', 'cluster review', 'mid-draft critique', 'feedback before pre-submission'.
    10 installs
27. ▌
    Session Health · flonat

    Check whether the current session has coherent guidance, focus, handoff state, working-tree ownership, and enough context to proceed safely. Use when starting, resuming, or diagnosing a confused session. Not for auditing the machine or deployed AI infrastructure; use $system-audit.
    6 installs
28. ▌
    Symbolic Check · flonat

    Use SymPy to prove or refute a self-authored algebraic identity, derivative, limit, comparative-static sign, or closed form. Use when exact symbolic manipulation can settle the claim. For parameter sweeps or full theorem proving, use $numerical-check or $lean-check.
    11 installs
29. ▌
    Synthetic Data · flonat bundle

    Generate structurally realistic synthetic datasets for pipeline prototyping, test coverage, or prospective power analysis. Use when code or design must be exercised before real data are available or accessible. Never substitute synthetic records for governed raw data.
    6 installs
30. ▌
    Voice Analyzer · flonat

    Analyze representative writing samples into a portable personal voice profile and style guide. Use when establishing voice-matched editing for a new project or refreshing an outdated profile. Not for a target journal's editorial style; use $journal-voice.
    7 installs
31. ▌
    Webapp Testing · flonat bundle

    Exercise and verify a local web application through Playwright, including user flows and rendered behaviour. Use when testing a running local app rather than issuing an isolated browser command. For ad hoc automation, use $playwright-cli.
    7 installs
32. ▌
    Devils Advocate · flonat bundle

    Adversarially challenge research assumptions, mechanisms, and arguments in writing. Use when stress-testing a claim or design before committing to it. Not for an interactive oral drill or a full referee report; use $grill-me or a review agent.
    8 installs
33. ▌
    Meetings Search · flonat

    Search meeting transcripts and voice memos for people, topics, decisions, commitments, or remembered ideas. Use when the user asks what was discussed, decided, or said across their meeting history. Not for preparing an upcoming meeting; use $meetings-prep.
    8 installs
34. ▌
    Meetings Weekly · flonat

    Weekly meeting synthesis — themes, decision arcs, stale commitments, and what deserves your attention next week. Use when the user says "weekly review", "what happened this week", "weekly summary", "recap my week", "any outstanding items", "week in review", or at the end of a work week.
    12 installs
35. ▌
    Numerical Check · flonat

    Numerically stress-test a self-authored mathematical claim over its parameter space to seek counterexamples or characterize violations. Use when checking monotonicity, thresholds, inequalities, comparative statics, or limits computationally. For algebraic proof or Lean formalization, use $symbolic-check or $lean-check.
    6 installs
36. ▌
    Review Response · flonat bundle

    Systematic reviewer response workflow: parse comments, classify by severity, develop response strategy, write structured rebuttal. Use when asked to 'write rebuttal', 'respond to reviewers', 'draft review response', or 'handle R&R'.
    7 installs
37. ▌
    Skill Preflight · flonat

    Deliver a pre-flight duplicate check before creating new skills or agents. Use when the user requests a pre-flight duplicate check before creating new skills or agents.
    9 installs
38. ▌
    Task Management · flonat

    Query and update recorded planning and research portfolio state across tasks, topics, papers, outputs, submissions, venues, people, institutions, and deadlines. Use when asking what is already recorded, including institution- or venue-associated topics, or when doing daily planning and weekly review. For venue suitability recommendations, inspect recorded state first and then use the venue-recommendation workflow.
    8 installs
39. ▌
    Code Archaeology · flonat

    Recover the structure, intent, and lineage of old code, data, or analysis files. Use when inherited or dormant research code must be understood before it is changed. Not for a quality review of already-understood code.
    11 installs
40. ▌
    Docs Consistency · flonat

    Review user-facing documentation for accuracy, consistency, and completeness across private, public, nested repos, and the user manual. Use when docs feel stale, after major changes, or before sharing. (Replaces `repo-doc-audit`)
    9 installs
41. ▌
    Meetings Cleanup · flonat

    Manage old recordings — find large files, archive old meetings, delete processed originals. Use when the user says "clean up recordings", "how much space are meetings using", "delete old recordings", "archive meetings", "manage meeting storage", or asks about disk space from minutes.
    11 installs
42. ▌
    Meetings Debrief · flonat

    Post-meeting debrief — analyzes what happened, compares outcomes to your prep intentions, tracks decision evolution. Use when the user says "debrief", "what just happened in that meeting", "what did we decide", "debrief that call", "post-meeting", "what changed", or right after stopping a recording.
    13 installs
43. ▌
    Pre Commit Audit · flonat bundle

    Deliver a fast pre-commit safety scan: file size, anonymity (author / affiliation strings in tex/bib), hardcoded secrets, and invisible-Unicode carriers. Use when the user requests a fast pre-commit safety scan: file size, anonymity (author / affiliation strings in tex/bib), hardcoded secrets, and invisible-Unicode carriers. Triggers: 'audit before commit', 'check before push', 'pre-commit scan', 'safety check'.
    5 installs
44. ▌
    Voice Editor · flonat bundle

    Edit draft or auto-generated prose to match an existing personal voice profile. Use when transforming generic text into the profiled author's wording, cadence, and style. Not for creating the profile or matching a journal; use $voice-analyzer or $journal-voice.
    12 installs
45. ▌
    Causal Design · flonat bundle

    Design or audit the identification strategy for an observational study. Use when the task concerns estimands, causal assumptions, threats to identification, or defensible research design rather than model implementation.
    8 installs
46. ▌
    Data Analysis · flonat bundle

    Deliver an end-to-end analysis pipeline: EDA, estimation, or publication output. Use when the user requests an end-to-end analysis pipeline: EDA, estimation, or publication output.
    7 installs
47. ▌
    Insights Deck · flonat

    Archive an exported Claude Code insights HTML report and turn it into a timestamped Beamer presentation usable from either client. Use when the insights export is the source artifact for a presentation. Not for a general research talk; use $talk-deck.
    7 installs
48. ▌
    Latex Posters · flonat bundle

    Create a large-format academic poster in LaTeX using beamerposter, tikzposter, or baposter. Use when the requested deliverable is a conference or research poster rather than sequential presentation slides. For slide decks, use $beamer-deck.
    7 installs
49. ▌
    Meetings List · flonat

    List recent meetings and voice memos. Use when the user asks "what meetings did I have", "show my recent recordings", "any meetings today", "list my voice memos", or wants an overview of their meeting history. Also use when they need to find a specific meeting by browsing rather than searching.
    5 installs
50. ▌
    Meetings Prep · flonat

    Interactive meeting preparation — builds a relationship brief and talking points before a call. Use when the user says "prep me for my call with", "I'm meeting with X", "prepare me for", "what should I bring up with", "meeting prep", "get ready for my call", or wants to review history with someone before a meeting.
    6 installs
51. ▌
    Skill Creator · flonat bundle

    Create, revise, and evaluate reusable AI workflow skills, including trigger-quality tests. Use when authoring a new skill, repairing an existing skill, or measuring whether its metadata routes correctly.
    7 installs
52. ▌
    Skill Extract · flonat bundle

    Extract reusable knowledge from the current session into a persistent skill. Use when you discover something non-obvious, create a workaround, or develop a multi-step workflow that future sessions would benefit from.
    10 installs
53. ▌
    Knowledge Lint · flonat

    Lint an existing project knowledge base for contradictions, uncited claims, missing connections, stale articles, and orphaned concepts. Use when checking the integrity of already compiled knowledge before relying on or expanding it. Not for compiling raw sources; use $compile-knowledge.
    6 installs
54. ▌
    Latex Scaffold · flonat

    Convert an existing Markdown manuscript draft into a buildable LaTeX project with canonical structure and build configuration. Use when prose already exists but no LaTeX source tree does. Not for checking template drift in an existing project; use $latex-template.
    12 installs
55. ▌
    Latex Template · flonat bundle

    Compare a project's LaTeX preamble and conventions against the canonical working-paper template. Use when diagnosing template drift without converting venue formats or editing prose.
    6 installs
56. ▌
    Meetings Recap · flonat bundle

    Generate a daily digest of today's meetings and voice memos — key decisions, action items, and themes across all recordings. Use when the user asks "recap my day", "what happened in my meetings today", "daily summary", "what did I discuss today", "any action items from today", or wants a consolidated view of the day's conversations.
    6 installs
57. ▌
    Playwright CLI · flonat bundle

    Automate browser interactions and inspect or test web pages through Playwright commands. Use when the task requires deterministic browser navigation, screenshots, selectors, or Playwright-test work. For a full local-webapp test workflow, use $webapp-testing.
    7 installs
58. ▌
    Project Safety · flonat

    Install or reconcile research-project safety rules and protected folder boundaries for data, code, outputs, and paper sources. Use when a project lacks guardrails or is being migrated into the governed structure. Not for auditing the full research scaffold; use $audit-project-research.
    6 installs
59. ▌
    Postmortem · flonat

    Deliver a structured post-mortem after incidents, mistakes, or stuck sessions. Use when the user requests a structured post-mortem after incidents, mistakes, or stuck sessions.
    13 installs
60. ▌
    Python Env · flonat

    Create and maintain Python environments and dependencies with uv. Use when installing packages, creating a virtual environment, resolving Python dependency state, or migrating away from pip. Not for general Python coding.
    7 installs
61. ▌
    Venue Fork · flonat

    Fork an existing paper into a concurrent second-venue submission variant with policy checks, separate Overleaf ownership, format conversion, budget refit, QA, and Atlas/Vault writeback. Use when submitting the same work concurrently to another permitted venue. Not for preprints, ordinary retargeting, or camera-ready work.
    7 installs
62. ▌
    Wiki Merge · flonat

    Merge an overlap cluster of Vault concepts into one canonical concept, rewrite wikilinks, and preserve a dry-run/apply boundary. Use when $wiki-curate has identified a winner and fold-in slugs. Not for general wiki auditing or automatic article promotion.
    6 installs
63. ▌
    Beamer Deck · flonat bundle

    Create an academic presentation as a LaTeX Beamer source and reviewed PDF with an original theme. Use when the requested deliverable is a conference, seminar, or lecture deck in Beamer. Not for PowerPoint or RevealJS; use $pptx or $quarto-deck.
    4 installs
64. ▌
    MCP Builder · flonat bundle

    Guide for creating MCP servers that enable LLMs to interact with external services through well-designed tools. Use when building MCP servers to integrate external APIs or services, whether in Python (FastMCP) or Node/TypeScript (MCP SDK).
    7 installs
65. ▌
    Quarto Deck · flonat bundle

    Generate a Reveal.js HTML presentation from Markdown. Use when the user asks to generate a Reveal.js HTML presentation from Markdown.
    6 installs
66. ▌
    Session Log · flonat

    Create a timestamped research-session progress log that records completed work, evidence, decisions, and next steps. Use when closing or checkpointing substantive project work that needs a durable chronology. Not for saving one reusable finding; use $store-insight.
    7 installs
67. ▌
    Verify Math · flonat bundle

    Verify a self-authored mathematical result end to end by routing claims across adversarial review, numerical falsification, symbolic or CAS checks, and Lean, then aggregating one report. Use when a theorem, proposition, conjecture, or paper-wide mathematical argument needs the appropriate combination of verification methods. For one known method, use $numerical-check, $symbolic-check, or $lean-check directly.
    7 installs
68. ▌
    Wiki Curate · flonat

    Audit the Research Vault concept wiki read-only for fragmentation, missing tags, write-only concepts, and draft or anatomy conformance, producing a Markdown report. Use when assessing wiki quality before maintenance. Not for promoting or merging concepts; use $wiki-grow or $wiki-merge.
    7 installs
69. ▌
    Bib Coverage · flonat

    Compare a project .bib against a Paperpile project/topic folder to find uncited papers or unfiled entries. Use when the user asks to compare a project .bib against a Paperpile project/topic folder to find uncited papers or unfiled entries.
    7 installs
70. ▌
    Camera Ready · flonat

    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 non-counted appendix, and QA. Not for R&R/revise-and-resubmit (use strategic-revision --external) or for preprints (use preprint).
    5 installs
71. ▌
    Init Project · flonat

    Bootstrap a new research project. Interview for details, scaffold directory structure, create Overleaf symlink, initialise git, and create project context files.
    11 installs
72. ▌
    Interview Me · flonat

    Conduct an adaptive structured interview that elicits tacit knowledge, requirements, preferences, or decisions and summarizes them explicitly. Use when the needed information is in the user's head and cannot be recovered from project files. Not for adversarial oral examination; use $grill-me.
    9 installs
73. ▌
    Latex Polish · flonat bundle

    Inspect a cleanly compiling LaTeX document for source pathologies and rendered visual defects by linting and viewing selected PDF pages. Use when compilation succeeds but title pages, floats, tables, figures, or layout still need publication-quality review. Not for basic compilation health; use $latex-health-check.
    7 installs
74. ▌
    Method Audit · flonat

    Extract and compare data-collection methods across a set of empirical papers. Use when the user needs a cross-paper methods matrix or wants to assess how a literature gathers evidence.
    5 installs
75. ▌
    Project Deck · flonat

    Create a concise presentation deck that communicates a project's current state, decisions, evidence, risks, and next steps. Use when preparing a project update for collaborators, supervisors, or stakeholders. Not for a research talk centered on one paper; use $talk-deck.
    7 installs
76. ▌
    Update Focus · flonat

    Update current-focus.md with a structured session summary. Use when the user asks to update current-focus.md with a structured session summary.
    8 installs
77. ▌
    PDF · flonat bundle

    Read, create, combine, split, rotate, OCR, watermark, secure, or extract content from PDF files. Use when a PDF is a primary input or requested output. Not for LaTeX source editing or Word and spreadsheet deliverables.
    10 installs
78. ▌
    DOCX · flonat bundle

    Create, read, edit, or convert Microsoft Word documents while preserving professional document structure. Use when a .docx file is a primary input or requested output, including tracked changes, comments, images, headings, page furniture, or polished reports and letters. Not for PDFs, spreadsheets, Google Docs, or unrelated coding tasks.
    5 installs
79. ▌
    Tikz · flonat bundle

    Diagnose and fix residual TikZ label, arrow, box, and Bézier-path collisions with geometric calculations. Use when a generated .tex figure has overlapping labels or crossed arrows. Not for generating a new figure; use $figure or the upstream deck workflow.
    5 installs
80. ▌
    XLSX · flonat bundle

    Create, read, edit, clean, format, chart, or convert spreadsheet files while preserving spreadsheet-native deliverables. Use when .xlsx, .xlsm, .csv, or .tsv data is the primary input or a spreadsheet is the requested output. Not for Word documents, HTML reports, standalone scripts, database pipelines, or Google Sheets API work.
    10 installs
81. ▌
    Ideas · flonat

    Capture and integrate improvement ideas for the shared Claude Code and Codex infrastructure. Use when recording an infrastructure enhancement for later review rather than implementing it immediately.
    6 installs
82. ▌
    Latex · flonat bundle

    Compile one specified LaTeX document, resolve build errors, audit citations, and report build quality. Use when a .tex source must be built or a concrete compilation failure repaired. Not for corpus-wide build checks, visual polish after a clean build, or creating a project; use $latex-health-check, $latex-polish, or $latex-scaffold.
    6 installs
83. ▌
    Reorg · flonat

    Propose and, after approval, execute content-aware file reorganization or deduplication using a local Mac Mini model with a reversible undo record. Use when sorting a folder by file contents or finding exact and near duplicates. Always dry-runs first.
    5 installs
84. ▌
    Handoff · flonat bundle

    Create, accept, or update the persistent `.context/ai-handoff.md` state shared by AI sessions and machines. Use when continuing in a new Claude or Codex session, transferring work between clients, or recording ownership and restart state.
    7 installs
85. ▌
    Grill Me · flonat

    Run an interactive one-question-at-a-time oral drill for research defence or active-recall study, escalating around weak answers and ending with a study sheet. Use when the user asks to be grilled, quizzed, or prepared for a viva, job talk, seminar, or exam. Not for a written critique; use $devils-advocate or a review agent.
    10 installs
86. ▌
    Bib Parse · flonat

    Extract citations from a PDF and generate a validated .bib file. Use when the user asks to extract citations from a PDF and generate a validated .bib file. Reads the PDF, identifies referenced works, constructs BibTeX entries, and verifies metadata.
    10 installs
87. ▌
    Proofread · flonat bundle

    Proofread a LaTeX academic paper across eleven language, notation, citation, and consistency categories. Use when the requested task is bounded proofreading rather than substantive rewriting, clarity stress-testing, or venue compliance.
    7 installs
88. ▌
    Split PDF · flonat bundle

    Download, split, and deeply read an academic PDF that is not available through Paperpile. Use when a long external PDF needs page-wise ingestion. For Paperpile items, use the Paperpile text-extraction route instead.
    11 installs
89. ▌
    Wiki Grow · flonat

    Auto-promote eligible project knowledge articles into Research Vault concepts with generated provenance metadata. Use when running the scheduled knowledge-corpus promotion or previewing candidates interactively. Not for consolidating overlapping concepts; use $wiki-merge.
    7 installs
90. ▌
    Bib Filter · flonat

    Filter a LaTeX project's bibliography to the entries actually cited, with Overleaf-source resolution, temporary staging, validation, approval-gated canonical replacement, and compilation. Use before submission or after large revisions.
    6 installs
91. ▌
    Checkpoint · flonat

    Save a compact continuation checkpoint so current work survives context compaction or a later session. Use when the active context is becoming long or work must pause without changing client or machine ownership. For an explicit cross-session/client transfer, use $handoff.
    4 installs
92. ▌
    Latex Diff · flonat

    Compare two LaTeX files, project directories, or Git revisions and produce human-readable plus machine-readable severity-graded semantic changes. Use when determining what changed between manuscript versions or preparing a revision audit bundle. Not for proofreading one version; use $proofread.
    8 installs
93. ▌
    Lean Check · flonat

    Formalize a self-authored lemma or theorem in Lean 4/mathlib and require a clean `lake build` without `sorry`. Use when the mathematical claim can be stated faithfully and machine-checked. For numerical falsification or symbolic algebra, use $numerical-check or $symbolic-check.
    7 installs
94. ▌
    Math Proof · flonat

    Write clear, detailed mathematical proofs for academic papers. Use when the user asks to prove a result, derive an equation, justify a claim analytically, or expand a proof sketch into a full proof. Also trigger on "prove", "show analytically", "derive", "justify mathematically", or "write a proof".
    8 installs