SkillsAdd

moonbitlang/skills

moonbit-proof

Use when writing or refactoring proof-carrying code in MoonBit, especially for Why3-backed specifications, abstraction functions, representation invariants,…

First seen May 21, 2026

Installation

$ npx skills add https://github.com/moonbitlang/skills
View on skills.sh ↗ GitHub repository ↗

Also in this package

Other skills from moonbitlang/skills.

npx skills add https://github.com/moonbitlang/skills
moonbit-agent-guide 203 moonbit-orientation 196 moonbit-extract-spec-test 191 moonbit-c-binding 187 moonbit-spec-test-development 184 moonbit-refactoring 184 ocaml2moonbit-migration 171 make-moonbit-c-bindings 137

Browse all from moonbitlang/skills

More details

Agent compatibility

Declared targets from SKILL.md / docs. Unmarked agents are not listed — the skill may still install via the CLI.

Claude Code Not declared
Cursor Not declared
Codex Not declared
GitHub Copilot Not declared
Windsurf Not declared
Gemini CLI Not declared
Cline Not declared
OpenCode Not declared

Repository health

Stars 31
Default branch master
Open issues 0
Status Active

History

  1. First seen on skills.sh
  2. First recorded snapshot · 182 installs