Skip to main content
Run any Skill in Manus
with one click
GitHub repository

coding-system-rebuild

coding-system-rebuild contains 274 collected skills from hoanganhduc, with repository-level occupation coverage and site-owned skill detail pages.

skills collected
274
Stars
1
updated
2026-07-12
Forks
0
Occupation coverage
18 occupation categories · 100% classified
repository explorer

Skills in this repository

paper-review
software-developers

Single-agent paper review workflow.

2026-07-12
agy-customizations
computer-occupations-all-other

Comprehensive guide and reference for the Antigravity Customization System. Use to explain how customizations work, their loading priority, discovery mechanisms, and to guide the creation of skills, rules, plugins, hooks, and MCP servers.

2026-07-11
antigravity-guide
computer-occupations-all-other

Provides a comprehensive guide, quick reference, and sitemap for Google Antigravity (AGY), including the Antigravity CLI (agy), Antigravity 2.0, Antigravity IDE, Python SDK, slash commands, keybindings, and customizations (skills, rules, MCP, sidecars). Activate this skill when the user asks questions about how to use, configure, or customize Antigravity, AGY, the agy CLI, the Antigravity IDE, or Antigravity 2.0.

2026-07-11
permissioned-github
software-developers

Guidelines for interacting with GitHub and request permissions from the user when commands fail due to restrictions in the agent environment.

2026-07-11
zotero
postsecondary-teachers-all-other

ALWAYS use this skill when the user asks to send, get, retrieve, find, share, add, or search for a paper. This skill manages the user's Zotero library with 10,000+ papers and can retrieve PDFs, create share links, add new papers, and search. Prefer this over getscipapers for any request involving sending/getting/finding papers.

2026-07-09
zotero
postsecondary-teachers-all-other

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.

2026-07-09
zotero
postsecondary-teachers-all-other

DeepSeek adapter for the Codex Zotero-first paper and library workflow.

2026-07-09
url-to-screenshot-runtime
software-developers

Runtime engine for url-to-screenshot: headless-browser CDP capture, SSRF-safe URL admission, consent dismissal, blank-output detection, and an offline self-test of the deterministic core.

2026-07-03
url-to-screenshot
software-developers

Capture a URL to a clean PNG screenshot with browser detection, cookie-consent dismissal, viewport or full-page modes, timeouts, SSRF-safe URL admission, and blank-output verification across Linux, macOS, and Windows.

2026-07-03
vnu-eoffice
software-developers

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.

2026-07-03
url-to-screenshot-runtime
software-developers

Runtime engine for url-to-screenshot: headless-browser CDP capture, SSRF-safe URL admission, consent dismissal, blank-output detection, and an offline self-test of the deterministic core.

2026-07-03
url-to-screenshot
software-developers

Capture a URL to a clean PNG screenshot with browser detection, cookie-consent dismissal, viewport or full-page modes, timeouts, SSRF-safe URL admission, and blank-output verification across Linux, macOS, and Windows.

2026-07-03
vnu-eoffice
software-developers

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.

2026-07-03
url-to-screenshot-runtime
software-developers

Runtime engine for url-to-screenshot: headless-browser CDP capture, SSRF-safe URL admission, consent dismissal, blank-output detection, and an offline self-test of the deterministic core.

2026-07-03
url-to-screenshot
software-developers

Capture a URL to a clean PNG screenshot with browser detection, cookie-consent dismissal, viewport or full-page modes, timeouts, SSRF-safe URL admission, and blank-output verification across Linux, macOS, and Windows.

2026-07-03
vnu-eoffice
software-developers

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.

2026-07-03
agent-group-discuss
computer-occupations-all-other

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.

2026-07-03
annotated-review
postsecondary-teachers-all-other

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.

2026-07-03
autonomous-research-loop
computer-occupations-all-other

Run bounded autonomous research iterations with evidence gates, recovery ledgers, and optional cross-agent handoffs. 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.

2026-07-03
axiom-axle-mcp
software-developers

Use when preparing optional AxiomMath AXLE MCP setup for manual formal-proof assistance.

2026-07-03
calibre
software-developers

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

2026-07-03
cross-agent-delegation
computer-occupations-all-other

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.

2026-07-03
deep-research-workflow
market-research-analysts-and-marketing-specialists-131161

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.

2026-07-03
digest-bridge
postsecondary-teachers-all-other

Use when the user wants to extract arXiv IDs or DOIs from research or RSS digests and turn them into getscipapers requests or manifests.

2026-07-03
docling
desktop-publishers-439031

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.

2026-07-03
draft-writing
technical-writers

Use when drafting, rewriting, polishing, or revising prose while preserving author intent by tracking claims, evidence, caveats, and revision deltas.

2026-07-03
formal-skeleton-helper
software-developers

Use when the user wants a minimal Lean-style theorem skeleton, namespace wrapper, or generated formal statement stub.

2026-07-03
get-available-resources
network-and-computer-systems-administrators

Use at the start of computationally intensive local tasks to detect CPU, memory, disk, and optional accelerator availability before planning execution.

2026-07-03
getscipapers-requester
postsecondary-teachers-all-other

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.

2026-07-03
graph-verifier
software-developers

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

2026-07-03
lean-explore-mcp
computer-occupations-all-other

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

2026-07-03
lean-formalization-intake
computer-occupations-all-other

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

2026-07-03
lean-strict-verification-gate
computer-occupations-all-other

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

2026-07-03
manim-math-animation
special-effects-artists-and-animators

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.

2026-07-03
modal-research-compute
software-developers

Use when a research or engineering task needs automatic heavy-compute routing through the local broker for Modal-backed remote CPU, high-memory CPU, or GPU execution.

2026-07-03
paper-review
postsecondary-teachers-all-other

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.

2026-07-03
prose
market-research-analysts-and-marketing-specialists-131161

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.

2026-07-03
research-briefing
market-research-analysts-and-marketing-specialists-131161

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.

2026-07-03
research-digest-wrapper
market-research-analysts-and-marketing-specialists-131161

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

2026-07-03
research-report-reviewer
postsecondary-teachers-all-other

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.

2026-07-03
Showing top 40 of 274 collected skills in this repository.