Add the marketplace
/plugin marketplace add moonbitlang/skillsInstall plugins
/pluginRun these commands in Claude Code to add this plugin to your environment. The marketplace must be added before you can install its plugins.
Create formal spec-driven MoonBit APIs and test suites.
Extract formal spec and comprehensive test suites from existing MoonBit implementations.
Write MoonBit bindings for existing C libraries using native FFI, with ownership annotations, C stubs, and ASan validation.