hoanganhduc

60 mods across 1 repository, 2 stars between them.

hoanganhduc/ai-agents-skills

Skill Codex

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…

not rated 2 changed 10d ago A 75 tokens GPL-3.0

tikz-draw

50

hoanganhduc/ai-agents-skills

Skill Claude CodeCodex

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…

not rated 2 6d ago A 98 tokens GPL-3.0

hoanganhduc/ai-agents-skills

Skill Claude CodeCodex

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.

not rated 2 6d ago A 65 tokens GPL-3.0

url-to-screenshot

52

hoanganhduc/ai-agents-skills

Skill Claude CodeCodex

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…

not rated 2 6d ago C 77 tokens GPL-3.0

hoanganhduc/ai-agents-skills

Skill Codex

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…

not rated 2 6d ago A 116 tokens GPL-3.0

vnthuquan

54

hoanganhduc/ai-agents-skills

Skill Codex

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.

not rated 2 changed 10d ago A 48 tokens GPL-3.0

vnu-eoffice

55

hoanganhduc/ai-agents-skills

Skill Claude Code

Route VNU eOffice requests to an existing vnueoffice 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.

not rated 2 6d ago A 50 tokens GPL-3.0

hoanganhduc/ai-agents-skills

Skill Claude CodeCodex

Use when the user wants to organize, rearrange, sort, or clean up workspace files with safe dry-run and explicit apply behavior.

not rated 2 6d ago A 32 tokens GPL-3.0

zotero

57

hoanganhduc/ai-agents-skills

Skill Claude CodeCodex

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.

not rated 2 changed 10d ago B 51 tokens GPL-3.0

opengauss

58

hoanganhduc/ai-agents-skills

Skill Claude CodeCodex

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.

not rated 2 6d ago A 49 tokens GPL-3.0

lax-formalization

59

hoanganhduc/ai-agents-skills

Skill Claude CodeCodex

Formalize mathematical results as Lax submissions, find reusable declarations, and independently verify selected Lax dependencies. Use for a selected Lax artifact or Lax reuse; ordinary Lean formalization does not require this lane.

not rated 2 changed 10d ago A 49 tokens GPL-3.0

zenodo-artifact

60

hoanganhduc/ai-agents-skills

Skill Claude CodeCodex

Prepare and validate an explicit source-and-evidence bundle and metadata for optional Zenodo archival. Use for research software artifacts; this runtime does not upload, reserve a DOI, or publish.

not rated 2 6d ago A 42 tokens GPL-3.0

At most 3 mods per repository are shown here, and a mod shipped inside a plugin is left to that plugin's page — the rest are on their repository pages: