القائمة
جمع SkillsMP عدد ٣٠٣ من skills من hoanganhduc/coding-system-rebuild. افتح أي skill لمراجعة مصدره وتفاصيله.
عرض ٤٠ من أصل ٣٠٣ skills مجمعة.
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…
لغة النص الأصلي: الإنجليزية
Offline runtime helper for loop ledgers plus headless drive, host-owned panel phases (--panel on, auto, or off), and the default cross-platform force-loop kit (bootstrap/start/drain with enforce/hard/notify defaults).
لغة النص الأصلي: الإنجليزية
Run bounded autonomous research iterations with evidence gates, recovery ledgers, and optional cross-agent handoffs; prefers host-owned multi-agent panel with single-path drive primary; scripted force-loop defaults (Goal Focus enforce, hard goal_priority,…
لغة النص الأصلي: الإنجليزية
Route heavy CPU or high-memory compute to a disposable Hetzner Cloud server through the local broker, with agent-driven provision, run, collect, and destroy under hard cost caps.
لغة النص الأصلي: الإنجليزية
Route heavy compute to free Kaggle Kernels through the local broker, with agent-driven push, poll, fetch, and a multi-run resume loop across concurrent kernels; free CPU (quota-free) and GPU under a self-imposed weekly GPU-hour cap.
لغة النص الأصلي: الإنجليزية
Use when any Lean formalization task starts (reuse Mathlib and the personal research library first) or ends (user-gated intake of results into the library, mathlib-PR flagging, paper-artifact scaffolding and gated Zenodo publishing).
لغة النص الأصلي: الإنجليزية
Route heavy compute through the unified local broker, including Modal-backed remote CPU, high-memory CPU, and GPU execution.
لغة النص الأصلي: الإنجليزية
Optional inert readiness helper for Math Inc. OpenGauss Lean prove/formalize workflows; live install is manual-native.
لغة النص الأصلي: الإنجليزية
Cross-target remote control plane: Zulip default control plus optional Telegram mobile notify, mailbox approvals/instructions, and ARL drive integration. Not an OpenClaw skill target; optional dual-route /aas adapter is published from canonical runtime into…
لغة النص الأصلي: الإنجليزية
Use when the user asks how to build with OpenAI products or APIs, asks about Codex itself or choosing Codex surfaces, needs up-to-date official documentation with citations, help choosing the latest model for a use case, latest/current/default-model prompting…
لغة النص الأصلي: الإنجليزية
Resolve partial journal and conference names and preserve source-specific rank/index observations. ICORE alone has built-in live edition discovery and verified browser-print proof; nine other built-ins accept authorized normalized imports without establishing…
لغة النص الأصلي: الإنجليزية
Zotero paper search, retrieval, ingest, and collection workflow.
لغة النص الأصلي: الإنجليزية
Offline runtime helper for loop ledgers plus headless drive, host-owned panel phases (--panel on, auto, or off), and the default cross-platform force-loop kit (bootstrap/start/drain with enforce/hard/notify defaults).
لغة النص الأصلي: الإنجليزية
Run bounded autonomous research iterations with evidence gates, recovery ledgers, and optional cross-agent handoffs; prefers host-owned multi-agent panel with single-path drive primary; scripted force-loop defaults (Goal Focus enforce, hard goal_priority,…
لغة النص الأصلي: الإنجليزية
Route heavy CPU or high-memory compute to a disposable Hetzner Cloud server through the local broker, with agent-driven provision, run, collect, and destroy under hard cost caps.
لغة النص الأصلي: الإنجليزية
Route heavy compute to free Kaggle Kernels through the local broker, with agent-driven push, poll, fetch, and a multi-run resume loop across concurrent kernels; free CPU (quota-free) and GPU under a self-imposed weekly GPU-hour cap.
لغة النص الأصلي: الإنجليزية
Use when any Lean formalization task starts (reuse Mathlib and the personal research library first) or ends (user-gated intake of results into the library, mathlib-PR flagging, paper-artifact scaffolding and gated Zenodo publishing).
لغة النص الأصلي: الإنجليزية
Route heavy compute through the unified local broker, including Modal-backed remote CPU, high-memory CPU, and GPU execution.
لغة النص الأصلي: الإنجليزية
Optional inert readiness helper for Math Inc. OpenGauss Lean prove/formalize workflows; live install is manual-native.
لغة النص الأصلي: الإنجليزية
Cross-target remote control plane: Zulip default control plus optional Telegram mobile notify, mailbox approvals/instructions, and ARL drive integration. Not an OpenClaw skill target; optional dual-route /aas adapter is published from canonical runtime into…
لغة النص الأصلي: الإنجليزية
Resolve partial journal and conference names and preserve source-specific rank/index observations. ICORE alone has built-in live edition discovery and verified browser-print proof; nine other built-ins accept authorized normalized imports without establishing…
لغة النص الأصلي: الإنجليزية
Offline runtime helper for loop ledgers plus headless drive, host-owned panel phases (--panel on, auto, or off), and the default cross-platform force-loop kit (bootstrap/start/drain with enforce/hard/notify defaults).
لغة النص الأصلي: الإنجليزية
Run bounded autonomous research iterations with evidence gates, recovery ledgers, and optional cross-agent handoffs; prefers host-owned multi-agent panel with single-path drive primary; scripted force-loop defaults (Goal Focus enforce, hard goal_priority,…
لغة النص الأصلي: الإنجليزية
Generate a small set of independent candidate solutions in worktrees, judge them against one explicit rubric, and apply the winner only after PASS verification.
لغة النص الأصلي: الإنجليزية
Route a "how do I use Codewhale" question to the installed help, config, and doctor surfaces instead of reciting a manual from memory. Explicit-only.
لغة النص الأصلي: الإنجليزية
Route heavy CPU or high-memory compute to a disposable Hetzner Cloud server through the local broker, with agent-driven provision, run, collect, and destroy under hard cost caps.
لغة النص الأصلي: الإنجليزية
Route heavy compute to free Kaggle Kernels through the local broker, with agent-driven push, poll, fetch, and a multi-run resume loop across concurrent kernels; free CPU (quota-free) and GPU under a self-imposed weekly GPU-hour cap.
لغة النص الأصلي: الإنجليزية
Use when any Lean formalization task starts (reuse Mathlib and the personal research library first) or ends (user-gated intake of results into the library, mathlib-PR flagging, paper-artifact scaffolding and gated Zenodo publishing).
لغة النص الأصلي: الإنجليزية
Route heavy compute through the unified local broker, including Modal-backed remote CPU, high-memory CPU, and GPU execution.
لغة النص الأصلي: الإنجليزية
Optional inert readiness helper for Math Inc. OpenGauss Lean prove/formalize workflows; live install is manual-native.
لغة النص الأصلي: الإنجليزية
Cross-target remote control plane: Zulip default control plus optional Telegram mobile notify, mailbox approvals/instructions, and ARL drive integration. Not an OpenClaw skill target; optional dual-route /aas adapter is published from canonical runtime into…
لغة النص الأصلي: الإنجليزية
Read-only correctness review with actionable findings first, tight file/line evidence, severity, and a concise residual-risk summary.
لغة النص الأصلي: الإنجليزية
Resolve partial journal and conference names and preserve source-specific rank/index observations. ICORE alone has built-in live edition discovery and verified browser-print proof; nine other built-ins accept authorized normalized imports without establishing…
لغة النص الأصلي: الإنجليزية
Exercise the real app/API/CLI and collect observable evidence; tests alone do not count as end-to-end verification.
لغة النص الأصلي: الإنجليزية
Zotero paper search, retrieval, ingest, and collection workflow.
لغة النص الأصلي: الإنجليزية
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.
لغة النص الأصلي: الإنجليزية
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.
لغة النص الأصلي: الإنجليزية
Runtime helper for autonomous-research-loop ledgers plus headless drive, host-owned multi-agent panel phases (--panel on, auto, or off), and the default cross-platform force-loop kit (bootstrap/start/drain with enforce/hard/notify defaults). Use to…
لغة النص الأصلي: الإنجليزية
Run bounded autonomous research iterations with evidence gates, recovery ledgers, and optional cross-agent handoffs; prefers host-owned multi-agent panel with single-path drive primary; scripted force-loop defaults (Goal Focus enforce, hard goal_priority,…
لغة النص الأصلي: الإنجليزية
Use for a clarity-only pass that must not change behavior — simplifying, renaming, de-duplicating, or restructuring code, configs, research scripts, or prose. Gates on understanding the target before touching it and re-verifies after each change so behavior…
لغة النص الأصلي: الإنجليزية