moonbitlang/moonbit-agent-guide
5 skills
$npx skills add moonbitlang/moonbit-agent-guideSkillInstalls
moonbit-agent-guideGuide for writing, refactoring, and testing MoonBit projects. Use when working in MoonBit modules or packages, organizing MoonBit files, using moon tooling…moonbit-c-bindingGuide for writing MoonBit bindings to C libraries using native FFI.moonbit-proofUse when writing or refactoring proof-carrying code in MoonBit, especially for Why3-backed specifications, abstraction functions, representation invariants,…moonbit-refactoringRefactor MoonBit code to be idiomatic: shrink public APIs, convert functions to methods, use pattern matching with views, add loop invariants, and ensure test…ocaml2moonbit-migrationGuide for migrating OCaml projects, libraries, modules, and test suites to idiomatic MoonBit.