skills.rest
moonbitlangmoonbitlangOfficial·2 Agent Skills Included

moonbit-agent-guide

Write, refactor, test, and verify MoonBit code correctly

Guides coding agents through MoonBit project structure, tooling, testing, and idiomatic refactoring. Covers C library bindings via native FFI, OCaml-to-MoonBit migration, and proof-carrying verified code. Eliminates common pitfalls like wrong string handling, broken ownership annotations, and silent memory bugs. Helps agents produce correct, tested MoonBit code faster with built-in checklists and validation commands.
74|11
↗
npx skills add moonbitlang/moonbit-agent-guide --all -g -y

All Skills in This Repository (2)

Pure Emerald Level Indicators
📦 In Repo
moonbitlangmoonbitlang

moonbit-agent-guide

Guide AI agents to write, refactor, and test MoonBit projects with moon tooling.

Official
Advanced
📦 In Repo
moonbitlangmoonbitlang

moonbit-refactoring

Refactor MoonBit code to idiomatic patterns while preserving behavior and public contracts.

Official
Intermediate

Frequently Asked Questions

FAQPage Schema
How to install moonbit-agent-guide?▼

Run `npx skills add moonbitlang/moonbit-agent-guide --all -g -y` in your terminal to install all MoonBit skills globally.

What does the MoonBit agent guide cover?▼

It teaches agents MoonBit project layout, the moon toolchain, testing conventions, refactoring patterns, C FFI bindings, OCaml migration, and proof-carrying code.

How to bind C libraries to MoonBit?▼

The moonbit-c-binding skill walks through extern declarations, ownership annotations, callback trampolines, and AddressSanitizer validation step by step.

Can I migrate OCaml code to MoonBit automatically?▼

Yes. The ocaml2moonbit-migration skill maps OCaml types, strings, and exceptions to idiomatic MoonBit with behavior-preserving tests.

Does it work with Claude Code and Codex?▼

Yes. All skills follow the standard SKILL.md format and work in Claude Code, Codex CLI, Cursor, and other compatible coding agents.

Related Repositories in Software Engineering

View All in Software Engineering→
openclawopenclaw
388.4k

openclaw

Run a personal AI assistant across your devices and chat apps

Official📦 120 Skills
obraobra
280.0k

superpowers

Gives coding agents a disciplined workflow from idea to merged code

Community📦 15 Skills
facebookfacebook
248.4k

react

AI agent skills for building, testing, and porting React core

Official📦 14 Skills