moonbitlang/skills

1

moonbit-agent-guide Guide for writing, refactoring, and testing MoonBit projects, including exclusive use of `.mbtx` for agent-authored a…

moonbitlang/skills

203

2

moonbit-orientation Use this skill when the user needs help solving MoonBit language, code, compiler diagnostic, package, toolchain, back…

moonbitlang/skills

196

3

moonbit-extract-spec-test Extract formal spec and comprehensive test suites from existing MoonBit implementations.

moonbitlang/skills

191

4

moonbit-c-binding Guide for writing MoonBit bindings to C libraries using native FFI. Use when adding extern "c" declarations, writing …

moonbitlang/skills

187

5

moonbit-refactoring Refactor MoonBit code to be idiomatic: shrink public APIs, convert functions to methods, use pattern matching with vi…

moonbitlang/skills

184

6

moonbit-spec-test-development Create formal spec-driven MoonBit APIs and test suites.

moonbitlang/skills

184

7

moonbit-proof Use when writing or refactoring proof-carrying code in MoonBit, especially for Why3-backed specifications, abstractio…

moonbitlang/skills

182

8

ocaml2moonbit-migration Guide for migrating OCaml projects, libraries, modules, and test suites to idiomatic MoonBit.

moonbitlang/skills

171

9

make-moonbit-c-bindings Guides agents through complete, maintainable MoonBit bindings for C/C++ libraries, from upstream source survey throug…

moonbitlang/skills

137