メニュー
Optional inert readiness helper for Math Inc. OpenGauss Lean prove/formalize workflows; live install is manual-native.
デフォルトでは、最初にソースを確認する Prompt が選択されています。直接コマンドに切り替えるか、ローカルコピーをダウンロードすることもできます。
インストールを決める前に、SKILL.md と SkillsMP に表示されている付属ファイルをお読みください。
SOC 職業分類に基づく
Codex または Claude でインストール この Prompt をコピーして Codex、Claude、または他のアシスタントに貼り付けると、Skill ページを確認してインストールできます。
直接コマンドでは確認用 Prompt が省略されます。実行前にソースを確認してください。
npx skills add https://github.com/hoanganhduc/coding-system-rebuild --skill opengaussコマンドは1行のまま表示されます。コピー前に横へスクロールして全体を確認してください。
ローカルで確認しますか？SkillsMP が現在取得できるファイルをダウンロードできます。
SKILL.md を表示中
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.
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, notify ON).
| name | opengauss |
| description | Optional inert readiness helper for Math Inc. OpenGauss Lean prove/formalize workflows; live install is manual-native. |
| metadata | {"short-description":"Optional inert readiness helper for Math Inc. OpenGauss Lean prove/formalize workflows; live install is manual-native."} |
This is a thin adapter for agents that cannot load symlinked skills.
Canonical skill source:
~/ai-agents-skills/canonical/skills/opengauss/SKILL.mdBefore using this skill, read the canonical source file above and follow its instructions. Related reference files live next to that source file in the same skill directory.