moonbitlang/moonbit-agent-guide · Archived
moonbit-proof
Use when writing or refactoring proof-carrying code in MoonBit, especially for Why3-backed specifications, abstraction functions, representation invariants,…
Installation
npx skills add https://github.com/moonbitlang/moonbit-agent-guide
Stronger alternatives
This repository is archived — consider an actively maintained alternative.
Guide for writing, refactoring, and testing MoonBit projects, including exclusive use of `.mbtx…
64 installsRefactor MoonBit code to be idiomatic: shrink public APIs, convert functions to methods, use pa…
20 installsGuide for writing MoonBit bindings to C libraries using native FFI.
15 installsGuide for migrating OCaml projects, libraries, modules, and test suites to idiomatic MoonBit. U…
1 installsSimilar popular skills
Related neighbors and high-traction skills in the same topics — useful to compare before installing.
Browser automation CLI for AI agents. Use when the user needs to interact with websites, includ…
810.4K installsReview UI code for Web Interface Guidelines compliance. Use when asked to "review my UI", "chec…
617.3K installsBuild, deploy, evaluate, optimize, fine-tune, and manage Microsoft Foundry agents, models, and …
576.5K installsArchitect and provision enterprise Azure infrastructure from workload descriptions. For cloud a…
402.8K installsAlso in this package
Other skills from moonbitlang/moonbit-agent-guide.
npx skills add https://github.com/moonbitlang/moonbit-agent-guide
More details
Agent compatibility
Declared targets from SKILL.md / docs. Unmarked agents are not listed — the skill may still install via the CLI.
Repository health
main
History
- First seen on skills.sh
- First recorded snapshot · 5 installs