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.

원문 언어: 영어