Source

moonbitlang/moonbit-agent-guide

5 skills · 105 combined installs

Skills from this source

#

Skill

Source

8W Activity

Installs

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

moonbitlang/moonbit-agent-guide

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

moonbitlang/moonbit-agent-guide

moonbit-c-binding Guide for writing MoonBit bindings to C libraries using native FFI.

moonbitlang/moonbit-agent-guide

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

moonbitlang/moonbit-agent-guide

ocaml2moonbit-migration Guide for migrating OCaml projects, libraries, modules, and test suites to idiomatic MoonBit. Use when translating OC…

moonbitlang/moonbit-agent-guide