hoanganhduc

ALWAYS use this skill when the user asks to send, get, retrieve, find, share, add, or search for a paper. This skill manages the user's Zotero library with 10,000+ papers and can retrieve PDFs, create share links, add new papers, and search. Prefer this over…

Offline runtime helper for loop ledgers plus headless drive, host-owned panel phases (--panel on, auto, or off), and the default cross-platform force-loop kit (bootstrap/start/drain with enforce/hard/notify defaults).

Run bounded autonomous research iterations with evidence gates, recovery ledgers, and optional cross-agent handoffs; prefers host-owned multi-agent panel with single-path drive primary; scripted force-loop defaults (Goal Focus enforce, hard goal_priority,…

Route heavy CPU or high-memory compute to a disposable Hetzner Cloud server through the local broker, with agent-driven provision, run, collect, and destroy under hard cost caps.

Route heavy compute to free Kaggle Kernels through the local broker, with agent-driven push, poll, fetch, and a multi-run resume loop across concurrent kernels; free CPU (quota-free) and GPU under a self-imposed weekly GPU-hour cap.

Use when any Lean formalization task starts (reuse Mathlib and the personal research library first) or ends (user-gated intake of results into the library, mathlib-PR flagging, paper-artifact scaffolding and gated Zenodo publishing).

Route heavy compute through the unified local broker, including Modal-backed remote CPU, high-memory CPU, and GPU execution.

Optional inert readiness helper for Math Inc. OpenGauss Lean prove/formalize workflows; live install is manual-native.

Use when the user asks for a multi-agent discussion, panel review, multi-agent review, or multi-agent research session with role selection, round control, and template-based orchestration.

Route VNU eOffice requests to an existing vnu_eoffice package or CLI: monitor updates, list latest incoming/outgoing documents, search by keyword, download attachments, and hand explicit file delivery to the authenticated host queue.

Use when the user wants to extract arXiv IDs or DOIs from research or RSS digests and turn them into getscipapers requests or manifests.

Use for external DOI/ISBN/title resolution, manifest creation from pasted text, and paper retrieval after the local library-first workflow does not satisfy the request or the user explicitly opts out of library use.

Use when the user wants a local research digest from tracked topics or wants to manage tracked research topics.

Use when the user wants RSS-based research/news digests, feed management, or feed health checks.

Use when checking whether a Lean artifact can safely support a research claim.

Send email over SMTP using only the Python standard library, with plain-text and HTML bodies, file attachments, cc/bcc, reply-to, a dry-run preview, connection verification, and redacted config inspection.

Use when the user wants to parse, convert, chunk, or structurally analyze PDFs, DOCX, PPTX, HTML, images, audio transcripts, or similar documents with Docling. Prefer this skill for local document parsing before ad hoc text extraction.

Search Lean 4 / Mathlib declarations (theorems, definitions, lemmas, instances) by name or by informal meaning. Direct-CLI adapter for the OpenClaw sandbox (OpenClaw is not an MCP client, so this replaces the lean-explore MCP server).

Resolve DOI/ISBN details, prepare manifests from text or txt files, use getscipapers for retrieval/search, and manage request watches safely.

Resolve DOI/ISBN details, prepare manifests from text or txt files, use getscipapers for external retrieval/search after library-first routing, and manage request watches safely.

Use VNU eOffice from OpenClaw: monitor updates, list latest documents, search documents, download attachments, and send requested files through Telegram.

Use only when the user explicitly requests both annotation and review for a paper task. Produces annotated review outputs and supports an explicit add-to-Zotero step when requested.

Use when the user wants to search, retrieve, send, add, update, sync, export, convert, or clean books from the managed Calibre library runtime.

Use when the user asks to draw, refactor, extract, compile, or review a TikZ/PGF figure, especially structural diagrams such as flowcharts, DAGs, trees, commutative diagrams, finite graphs, automata, or research-derived summary figures. Prefer this skill when…

Use VNU eOffice from OpenClaw: monitor updates, list latest documents, search documents, download attachments, and send requested files through Telegram.