Updated 4w ago
by moonbitlang
moonbit-agent-guide
SKILLs of MoonBit language and toolchain
75 GitHub stars (75)
Steady at 75 stars — no new stars in the 16 days since Sep 30.
- 5 skills (5 skills found in its SKILL.md files)
- 10 forks (10 forks)
- 4w ago last update (Last updated 4w ago)
Install
Skills CLI
npx skills add moonbitlang/moonbit-agent-guide
Asks which skills and agents to install. Just one: npx skills add moonbitlang/moonbit-agent-guide --skill moonbit-agent-guide — add -g for every project.
Claude Code
git clone https://github.com/moonbitlang/moonbit-agent-guidecp -r "moonbit-agent-guide/moonbit-agent-guide" ~/.claude/skills/
Copies the moonbit-agent-guide skill into ~/.claude/skills/ for every project (use .claude/skills/ for one project). Repeat for the other skills listed below.
Plugin
/plugin marketplace add moonbitlang/moonbit-agent-guide
Run inside Claude Code if the repository ships a plugin marketplace, then pick plugins from /plugin.
Skills can run code on your machine — read the SKILL.md first.
What it does
In the author's own words, from each skill's SKILL.md.
-
moonbit-agent-guide
Guide for writing, refactoring, and testing MoonBit projects, including exclusive use of `.mbtx` for agent-authored automation. Use when working in MoonBit modules or packages, organizing MoonBit files, using moon tooling (build/check/run/test/doc/ide etc.), or following MoonBit-specific layout, scripting, documentation, and testing conventions.
moonbit-agent-guide/SKILL.md on GitHub (opens in a new tab) -
moonbit-c-binding
Guide for writing MoonBit bindings to C libraries using native FFI. Use when adding extern "c" declarations, writing C stubs with moonbit.h, configuring native-stub and link.native in moon.pkg, choosing
moonbit-c-binding/SKILL.md on GitHub (opens in a new tab) -
moonbit-proof
Use when writing or refactoring proof-carrying code in MoonBit, especially for Why3-backed specifications, abstraction functions, representation invariants, proof assertions, recursive verified data structures, or reducing trusted proof bridges.
moonbit-proof/SKILL.md on GitHub (opens in a new tab) -
moonbit-refactoring
Refactor MoonBit code to be idiomatic: shrink public APIs, convert functions to methods, use pattern matching with views, add loop invariants, and ensure test coverage without regressions. Use when updating MoonBit packages or refactoring MoonBit APIs, modules, or tests.
moonbit-refactoring/SKILL.md on GitHub (opens in a new tab) -
ocaml2moonbit-migration
Guide for migrating OCaml projects, libraries, modules, and test suites to idiomatic MoonBit. Use when translating OCaml code to MoonBit, planning a large OCaml-to-MoonBit port, preserving byte/string-heavy behavior, replacing OCaml variants/records/exceptions/refs/arrays, mapping OCaml APIs to MoonBit packages, or building verification and test strategy for a migration.
ocaml2moonbit-migration/SKILL.md on GitHub (opens in a new tab)
No skill matches that filter.
Review before you install
A skill is a set of instructions and scripts your agent will follow, and it can run code on your machine. Read the SKILL.md and any scripts first — this listing is not a security review.