hyperb1iss/moonrepo-skill · Archived
moon
This skill should be used when the user asks to "configure moon", "set up moonrepo", "create moon tasks", "run moon commands", "configure moon workspace", "add…
Installation
npx skills add https://github.com/hyperb1iss/moonrepo-skill
Stronger alternatives
This repository is archived — consider an actively maintained alternative.
This skill should be used when the user asks to "install proto", "configure proto", "manage too…
43 installsGuide for writing, refactoring, and testing MoonBit projects, including exclusive use of `.mbtx…
203 installsUse this skill when the user needs help solving MoonBit language, code, compiler diagnostic, pa…
196 installsExtract formal spec and comprehensive test suites from existing MoonBit implementations.
191 installsSimilar popular skills
Related neighbors and high-traction skills in the same topics — useful to compare before installing.
Guide for writing MoonBit bindings to C libraries using native FFI. Use when adding extern "c" …
187 installsRefactor MoonBit code to be idiomatic: shrink public APIs, convert functions to methods, use pa…
184 installsCreate formal spec-driven MoonBit APIs and test suites.
184 installsUse when writing or refactoring proof-carrying code in MoonBit, especially for Why3-backed spec…
182 installsGuide for migrating OCaml projects, libraries, modules, and test suites to idiomatic MoonBit.
171 installsGuides agents through complete, maintainable MoonBit bindings for C/C++ libraries, from upstrea…
137 installsAlso in this package
Other skills from hyperb1iss/moonrepo-skill.
npx skills add https://github.com/hyperb1iss/moonrepo-skill
More details
Agent compatibility
Declared targets from SKILL.md / docs. Unmarked agents are not listed — the skill may still install via the CLI.
Repository health
main
History
- First seen on skills.sh
- First recorded snapshot · 69 installs