hoanganhduc/coding-system-rebuild - Page 3

graph-verifier

Use when the user wants a quick sanity check for a finite graph claim, construction, or encoding using the lightweight OpenClaw verifier.

lean-explore-mcp

Use when preparing optional LeanExplore MCP setup for Lean declaration search and formalization support.

lean-formalization-intake

Use when deciding whether a research claim should enter the optional Lean formalization lane.

lean-strict-verification-gate

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

manim-math-animation

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…

prose

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.

research-digest-wrapper

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

rss-news-digest

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

sagemath

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

send-email

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.

slides-to-video

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…

submission-venue-selector

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…

tikz-draw

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…

vnthuquan

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.

vnu-eoffice

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 send requested files through Telegram.

zotero

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.

manim-math-animation

Render Manim math animations (handwritten-style equation Write, equation morphing, emphasis) to a silent clip normalized for splicing into slides-to-video or standalone use.

send-email

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

slides-to-video

Turn prepared slides (PNG/PDF/PPTX) into a narrated, captioned video in a chosen language and presenter role using only free tools; three-phase human-in-the-loop with an approval gate before rendering.

tikz-draw

Structural TikZ figure generation, compile, review, and semantic checks.

manim-math-animation

Render Manim math animations (handwritten-style equation Write, equation morphing, emphasis) to a silent clip normalized for splicing into slides-to-video or standalone use.

send-email

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

slides-to-video

Turn prepared slides (PNG/PDF/PPTX) into a narrated, captioned video in a chosen language and presenter role using only free tools; three-phase human-in-the-loop with an approval gate before rendering.

delegate

Strategic delegation for multi-step coding, research, or verification work. Use when a task can be split into parent reasoning plus focused sub-agent execution through the agent tool.

fleet-manager

Use when managing, triaging, restarting, escalating, or summarizing CodeWhale Agent Fleet runs and workers.

manim-math-animation

Render Manim math animations (handwritten-style equation Write, equation morphing, emphasis) to a silent clip normalized for splicing into slides-to-video or standalone use.

send-email

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

slides-to-video

Turn prepared slides (PNG/PDF/PPTX) into a narrated, captioned video in a chosen language and presenter role using only free tools; three-phase human-in-the-loop with an approval gate before rendering.

adversarial-boundary-gate

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…

intent-interview

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…

paper-lookup

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.

source-grounded-decisions

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,…

adversarial-boundary-gate

Pre-delivery threat-model of trust boundaries and an abuse-case/injection check, delegating to a fresh-context security reviewer.

behavior-preserving-cleanup

Clarity-only edit pass behind a comprehension gate with verify-after-each-change so behavior stays fixed.

decision-doubt-loop

In-flight fresh-context adversarial review of a non-trivial decision before it stands.

intent-interview

Elicit and confirm real intent one question at a time before any brief, spec, or code.

source-grounded-decisions

Ground version- and spec-sensitive decisions in cited authoritative sources; flag when unverified.

adversarial-boundary-gate

Pre-delivery threat-model of trust boundaries and an abuse-case/injection check, delegating to a fresh-context security reviewer.

behavior-preserving-cleanup

Clarity-only edit pass behind a comprehension gate with verify-after-each-change so behavior stays fixed.

decision-doubt-loop

In-flight fresh-context adversarial review of a non-trivial decision before it stands.