hoanganhduc

@hoanganhduc source repo

59 skills
0 followers
6 hours ago last updated

▌
Prose · hoanganhduc
Use when the user mentions OpenProse or prose workflows, wants explicit multi-agent research and synthesis, or wants a reusable orchestration pattern. In Codex, emulate OpenClaw OpenProse using spawn_agent, structured decomposition, and workspace artifacts.

0
installs
▌
Zotero · hoanganhduc
Use when the user asks to send, get, retrieve, find, share, add, or search for a paper. This is the live OpenClaw Zotero workflow adapted for Codex and should take priority over external paper retrieval.

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

0
installs
▌
Docling · hoanganhduc bundle
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.

0
installs
▌
Sagemath · hoanganhduc
Use when the user needs SageMath for graph theory, combinatorics, algebra, spectral computations, or mathematical verification beyond what local Python tools can do.

0
installs
▌
Course DB · hoanganhduc
Route local course student-database operations through the course_hoanganhduc db agent: search, details, domain/duplicate/missing-id lists, roster and email export. Refuses interactive modify, restore, and destructive import apply.

0
installs
▌
Opengauss · hoanganhduc bundle
Use when preparing optional Math Inc. OpenGauss readiness for Lean prove/formalize workflows in the formal research lane. Inert doctor and config guidance only; never auto-installs or claims formal proof from Gauss success.

0
installs
▌
Tikz Draw · hoanganhduc bundle
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 the output should follow a structure-first workflow like figure brief to spec to render to check to compile to review, and when document-facing output should use adjustbox width fitting.

0
installs
▌
Vnthuquan · hoanganhduc bundle
Use when the user explicitly wants Vietnam Thu Quan / vnthuquan / vietnamthuquan.eu ebook discovery, metadata, mirror checks, categories, formats, archive inspection, or controlled downloads through the local vnthuquan package.

0
installs
▌
Send Email · hoanganhduc
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.

0
installs
▌
Classroom50 · hoanganhduc
Route Classroom50 workflows through the restricted agent entrypoint. Explicitly confirmed assignment add/update may run only through a pre-reviewed, checksum-pinned, exact-scope script; all other raw teacher/student CLI use and destructive operations remain forbidden.

0
installs
▌
Vnu Eoffice · hoanganhduc
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.

0
installs
▌
Model Router · hoanganhduc
Use when choosing an appropriate model, reasoning level, and role for subagents or multi-agent research work.

0
installs
▌
Paper Lookup · hoanganhduc bundle
Use as a metadata and discovery fallback for papers, preprints, citations, DOIs, PMIDs, and open-access signals after local library routing is exhausted or when external paper discovery is explicitly needed.

0
installs
▌
Paper Review · hoanganhduc bundle
Use for review-only requests for papers or books when the user did not explicitly ask for annotation. Handles the normal single-agent review flow.

0
installs
▌
Session Logs · hoanganhduc
Use when the user asks about earlier conversations, prior outputs, historical context, or past work that may live in Codex memories, Codex session logs, or optional legacy OpenClaw logs.

0
installs
▌
Course Canvas · hoanganhduc
Route Canvas LMS course operations through the course_hoanganhduc canvas agent: preflight, list assignments/members, search users, and roster sync. Refuses unenroll, grade, invite, announce, messages, pages, and bulk download.

0
installs
▌
Digest Bridge · hoanganhduc
Use when the user wants to extract arXiv IDs or DOIs from research or RSS digests and turn them into getscipapers requests or manifests.

0
installs
▌
Draft Writing · hoanganhduc
Use when drafting, rewriting, polishing, or revising prose while preserving author intent by tracking claims, evidence, caveats, and revision deltas.

0
installs
▌
Remote Bridge · hoanganhduc
Cross-target remote control via Zulip (default control) and optional Telegram mobile notify, with mailbox approvals/instructions for autonomous research loops. Not for OpenClaw.

0
installs
▌
Axiom Axle MCP · hoanganhduc
Use when preparing optional AxiomMath AXLE MCP setup for manual formal-proof assistance.

0
installs
▌
Graph Verifier · hoanganhduc
Use when the user wants a quick sanity check for a finite graph claim, construction, or encoding using the lightweight OpenClaw verifier.

0
installs
▌
Database Lookup · hoanganhduc bundle
Use when the user wants structured information from public scientific, biomedical, regulatory, materials, or economic databases. This is a reference-first skill for selecting the right database and query strategy.

0
installs
▌
Rss News Digest · hoanganhduc
Use when the user wants RSS-based research/news digests, feed management, or feed health checks.

0
installs
▌
Slides To Video · hoanganhduc bundle
Use when the user wants to turn prepared slides (PNG, PDF, or PPTX) into a narrated, captioned video in a chosen language and presenter role, using only free tools. A three-phase human-in-the-loop flow (analyze, draft transcript, render) gates rendering behind an explicit transcript approval.

0
installs
▌
Source Research · hoanganhduc bundle
Use when the user wants research, source gathering, current-information lookups, cross-source synthesis, or extraction from URLs/PDFs/videos using web search, page inspection, local tools, and sub-agents.

0
installs
▌
Annotated Review · hoanganhduc
Use only when the user explicitly mentions both annotation and review for a paper task. Produces annotated review outputs and supports an explicit add-to-Zotero step when the user asks for it.

0
installs
▌
Intent Interview · hoanganhduc bundle
Use when an ask is underspecified, or you catch yourself inferring what the user wants, before any brief, spec, plan, or code. Elicits the real intent one question at a time, each with your best guess attached, until you can predict the user's answers, then restates a confirmed intent for explicit sign-off.

0
installs
▌
Lean Explore MCP · hoanganhduc
Use when preparing optional LeanExplore MCP setup for Lean declaration search and formalization support.

0
installs
▌
Research Briefing · hoanganhduc bundle
Use when starting a nontrivial research task to frame scope, success criteria, evidence plan, and the right downstream workflow before expensive browsing or multi-agent work begins.

0
installs
▌
Url To Screenshot · hoanganhduc bundle
Use when the user wants to capture a web page (an http or https URL) to a clean PNG screenshot, in viewport or full-page mode, with cookie-consent dismissal, timeouts, SSRF-safe URL admission, and blank-output verification, across Linux, macOS, and Windows. The executable engine ships as the url-to-screenshot-runtime skill.

0
installs
▌
Agent Group Discuss · hoanganhduc bundle
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.

0
installs
▌
Decision Doubt Loop · hoanganhduc
Use in-flight, the moment you are about to let a non-trivial decision stand — a branching or control-flow change, crossing a module/service/agent boundary, an assertion the type system or proof checker cannot see, a high-stakes or irreversible action, or an analytical step a conclusion rests on. Materializes a fresh-context reviewer biased to disprove, while course-correction is still cheap.

0
installs
▌
Manim Math Animation · hoanganhduc bundle
Use when the user wants animated math (handwritten-style equation writing, equation morphing between derivation steps, and emphasis) rendered with Manim, as a silent video clip that can stand alone or be spliced into a slides-to-video deck. The free, optional companion to slides-to-video for math lectures.

0
installs
▌
Self Improving Agent · hoanganhduc bundle
Use when a task fails, a user corrects the assistant, a capability is missing, or a recurring better pattern should be logged and considered for canonical ai-agents-skills integration.

0
installs
▌
Workspace Rearranger · hoanganhduc
Use when the user wants to organize, rearrange, sort, or clean up workspace files with safe dry-run and explicit apply behavior.

0
installs
▌
Lean Research Library · hoanganhduc
Use when any Lean formalization task starts (reuse Mathlib and the personal research library before proving anything new) and when it ends (gate finished results into the library and flag mathlib-PR candidates, always asking the user first). Also scaffolds and publishes paper artifacts from the personal template.

0
installs
▌
Cross Agent Delegation · hoanganhduc bundle
Use when drafting, validating, or normalizing bounded cross-agent task/result packets for parent-controlled handoffs. This is a packet-contract skill, not a runtime delegation broker.

0
installs
▌
Deep Research Workflow · hoanganhduc bundle
Use when a research task benefits from an explicit phased workflow with structured source handoff across search, analysis, and writing, and when preserving citations across phases matters.

0
installs
▌
Formal Skeleton Helper · hoanganhduc
Use when the user wants a minimal Lean-style theorem skeleton, namespace wrapper, or generated formal statement stub.

0
installs
▌
Getscipapers Requester · hoanganhduc
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.

0
installs
▌
Modal Research Compute · hoanganhduc bundle
Use when a research or engineering task needs automatic heavy-compute routing through the unified local broker, including Modal-backed remote CPU, high-memory CPU, or GPU execution.

0
installs
▌
Venue Ranking Evidence · hoanganhduc bundle
Use when identifying a journal, conference, or proceedings series from a partial name, acronym, alias, ISSN, or source ID; preserving source-specific rank, quartile, metric, classification, membership, or coverage observations; or proving that the public ICORE detail page displayed one ICORE claim. Live bulk paths are ICORE (edition-verified) and DOAJ (public CSV, currentness-unconfirmed). Other built-ins accept authorized normalized imports only; Conference Ranks is legacy. Return every plausible match and never conflate index membership with ranking.

0
installs
▌
Course Google Classroom · hoanganhduc
Route Google Classroom operations through the course_hoanganhduc gclass agent: preflight, list courses/students, and roster sync. Refuses invite, unenroll, grade, and submission download.

0
installs
▌
Get Available Resources · hoanganhduc
Use at the start of computationally intensive local tasks to detect CPU, memory, disk, and optional accelerator availability before planning execution.

0
installs
▌
Kaggle Research Compute · hoanganhduc bundle
Use when a research or engineering task needs automatic heavy-compute routing 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.

0
installs
▌
Research Digest Wrapper · hoanganhduc
Use when the user wants a local research digest from tracked topics or wants to manage tracked research topics.

0
installs
▌
Autonomous Research Loop · hoanganhduc
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, notify ON). Use when the user asks to continue research autonomously, run a research loop, integrate autonomous agent loops, or keep improving a research workflow without repeated prompts.

0
installs
▌
Hetzner Research Compute · hoanganhduc bundle
Use when a research or engineering task needs automatic heavy-compute routing to a disposable Hetzner Cloud CPU or high-memory server through the local broker, with agent-driven provision, run, collect, and destroy under hard cost caps.

0
installs
▌
Research Report Reviewer · hoanganhduc bundle
Use when a research draft or report exists and needs a pre-final review for unsupported claims, ambiguity, scope drift, or missing evidence before delivery.

0
installs
▌
Adversarial Boundary Gate · hoanganhduc
Use before delivering work that incorporated content the agent did not author — fetched web pages, PDFs, retrieved or library documents, tool or subagent output — or that performs an outward-facing or irreversible action. Maps trust boundaries and runs an abuse-case and prompt-injection check, delegating to a fresh-context security reviewer.

0
installs
▌
Lean Formalization Intake · hoanganhduc
Use when deciding whether a research claim should enter the optional Lean formalization lane.

0
installs
▌
Source Grounded Decisions · hoanganhduc
Use before a version- or spec-sensitive decision — framework or library code, a CLI flag, a config schema field, or a named standard/edition — when correctness depends on the exact version. Detect the version, ground the decision in the authoritative source, and cite it; flag the assumption when no source is available.

0
installs
▌
Submission Venue Selector · hoanganhduc bundle
Use when selecting, ranking, or validating submission venues for an existing scholarly manuscript or draft venue shortlist. A deliverable venue recommendation requires comparator-paper evidence for every ranked venue; bibliography overlap and offline placeholders are discovery signals only. Do not use for generic draft review, rewriting, paper retrieval, paper download, Zotero mutation, or one-off venue facts.

0
installs
▌
Url To Screenshot Runtime · hoanganhduc
Runtime engine for url-to-screenshot. Use to detect a browser, capture and verify a URL-to-PNG result, browser-print and structurally inspect a PDF, or run the offline self-test of the deterministic core, without network, package installation, or live browser launch in the smoke path.

0
installs
▌
Research Verification Gate · hoanganhduc bundle
Use immediately before calling a research answer done, final, or complete to verify evidence coverage, dates, remaining gaps, and delivery readiness.

0
installs
▌
Behavior Preserving Cleanup · hoanganhduc
Use for a clarity-only pass that must not change behavior — simplifying, renaming, de-duplicating, or restructuring code, configs, research scripts, or prose. Gates on understanding the target before touching it and re-verifies after each change so behavior stays fixed.

0
installs
▌
Lean Strict Verification Gate · hoanganhduc
Use when checking whether a Lean artifact can safely support a research claim.

0
installs
▌
Autonomous Research Loop Runtime · hoanganhduc
Runtime helper for autonomous-research-loop ledgers plus headless drive, host-owned multi-agent panel phases (--panel on, auto, or off), and the default cross-platform force-loop kit (bootstrap/start/drain with enforce/hard/notify defaults). Use to initialize, append, validate, inspect, smoke-test, drive, or panel-dispatch loop state without requiring ad-hoc nested multi-agent CLIs from the primary agent.

0
installs

59 published skills