MoonBit Skills Skill 技能

技能简介

MoonBit Skills 是 MoonBit 官方仓库 moonbitlang/skills 提供的 Agent Skill 技能集合，遵循"写一次、到处用"（Write once, use everywhere）的理念，把 MoonBit 语言的上手引导、规范、测试、重构与迁移经验沉淀为 AI 智能体可直接发现和执行的技能文件夹。仓库内置 9 个技能，覆盖 moonbit-orientation（新手上手）、moonbit-agent-guide（智能体开发指南）、moonbit-c-binding 与 make-moonbit-c-bindings（C 语言绑定）、moonbit-spec-test-development 与 moonbit-extract-spec-test（规格测试开发与提取）、moonbit-refactoring（代码重构）、moonbit-proof（形式化证明）以及 ocaml2moonbit-migration（OCaml 项目迁移），通过标准 skills CLI 即可安装到各类编程智能体。

核心能力

• 九大官方技能开箱即用：上手引导、智能体指南、C 绑定生成、规格测试开发、测试提取、代码重构、形式化证明、OCaml 迁移等高频任务各有专职工能，均以独立目录交付。
• 多智能体通用安装：一条命令即可安装到通用技能目录 ~/.agents/skills/，或定向安装到 Codex、Claude Code 等具体智能体，同一份技能跨工具复用。
• 按名精装：支持 --skill 参数只安装需要的单个技能（如 moonbit-orientation），避免技能库臃肿。
• 上游自动同步：部分技能镜像自上游仓库，来源记录在 skills.sources.json，仓库每日运行 GitHub Actions 同步脚本并在上游变更时自动提交 Pull Request，保证技能不过期。
• 无 npx 也可手动部署：提供 git clone 加 rsync 的离线安装循环脚本，逐个技能复制到本机目录，不依赖 Node 生态。

安装配置

• 通用安装（推荐）：npx skills@latest add moonbitlang/skills -g --agent universal --skill "*" --copy -y，安装一份到 ~/.agents/skills/，所有支持该目录的智能体共享。
• Codex 定向安装：npx skills@latest add moonbitlang/skills -g --agent codex --skill "*" --copy -y。
• Claude Code 定向安装：npx skills@latest add moonbitlang/skills -g --agent claude-code --skill "*" --copy -y。
• 手动安装：git clone https://github.com/moonbitlang/skills.git 后进入目录，用循环 rsync 把各 skills/ 子目录复制到 ~/.agents/skills/。

使用步骤

1. 查看技能清单：运行 npx skills@latest add moonbitlang/skills --list 列出仓库内全部可用技能。
2. 选择智能体安装：按自己日常使用的工具（universal / Codex / Claude Code）执行对应安装命令，确认技能落入目标目录。
3. 按需单装：只想体验入口技能时，用 --skill moonbit-orientation 单独安装上手引导。
4. 在会话中调用：打开智能体开始 MoonBit 任务，智能体自动发现并加载对应 SKILL.md，按其中的指令、脚本与资源执行。
5. 保持更新：重新执行安装命令即可拉取最新版本；技能仓库每日自动同步上游，克隆用户可用 sync-upstream-skills.py 手动刷新。

适用场景

• MoonBit 新手上手：orientation 技能为智能体提供语言入门路径与项目结构说明，跟着引导即可跑通第一个项目。
• C 生态对接：为既有 C 库生成 MoonBit 绑定（moonbit-c-binding），把本地代码接入 MoonBit。
• 规格测试工程化：在 MoonBit 项目中开发与提取规格测试（spec-test），沉淀可回归的测试资产。
• 存量代码演进：按官方规范执行重构（moonbit-refactoring）与形式化证明（moonbit-proof），提升代码质量。
• 跨语言迁移：ocaml2moonbit-migration 技能把 OCaml 项目经验迁移到 MoonBit，降低换语言成本。

适用人群

使用 Claude Code、Codex 等 AI 编程工具开发 MoonBit 项目的开发者，维护 MoonBit 代码库、希望把团队规范固化给智能体的项目负责人，以及进行编程语言学习与跨语言迁移的研究者。

工作原理

技能本质是指令、脚本与资源组成的文件夹，每个技能在 skills/ 目录下拥有独立的 SKILL.md 入口文件。skills CLI 把技能复制（--copy）到目标智能体能识别的目录，智能体在会话中按任务语义发现并加载对应技能，读取其中的步骤指引与辅助脚本完成任务。镜像自上游的技能通过 skills.sources.json 登记来源，仓库内同步脚本每日拉取上游内容覆盖本地副本，并由 GitHub Actions 自动提交 PR，确保技能内容与官方上游一致。

官方链接

• 技能仓库：https://github.com/moonbitlang/skills
• MoonBit 文档：https://docs.moonbitlang.com/
• MoonBit 官网：https://www.moonbitlang.com/