moonbitlang/moonbit-agent-guide
Skill Claude CodeCodex
Guide for writing, refactoring, and testing MoonBit projects. Use when working in MoonBit modules or packages, organizing MoonBit files, using moon tooling (build/check/run/test/doc/ide etc.), or following MoonBit-specific layout, documentation, and testing conventions.
moonbitlang/moonbit-agent-guide
Skill Claude CodeCodex
Guide for writing MoonBit bindings to C libraries using native FFI. Use when adding extern "c" declarations, writing C stubs with moonbit.h, configuring native-stub and link.native in moon.pkg, choosing.
moonbitlang/moonbit-agent-guide
Skill Claude CodeCodex
Use when writing or refactoring proof-carrying code in MoonBit, especially for Why3-backed specifications, abstraction functions, representation invariants, proof assertions, recursive verified data structures, or reducing trusted proof bridges.
moonbitlang/moonbit-agent-guide
Skill Claude CodeCodex
Refactor MoonBit code to be idiomatic: shrink public APIs, convert functions to methods, use pattern matching with views, add loop invariants, and ensure test coverage without regressions. Use when updating MoonBit packages or refactoring MoonBit APIs, modules, or tests.
moonbitlang/moonbit-agent-guide
Skill Claude CodeCodex
Guide for migrating OCaml projects, libraries, modules, and test suites to idiomatic MoonBit. Use when translating OCaml code to MoonBit, planning a large OCaml-to-MoonBit port, preserving byte/string-heavy behavior, replacing OCaml variants/records/exceptions/refs/arrays, mapping OCaml APIs to MoonBit packages, or…
Instructions file CodexOpenCode
Instructions for moonbitlang/openseek, covering project agents.md guide, project structure, coding convention and tooling.