hoanganhduc/coding-system-rebuild - 第 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.

原文语言：英语