Clone

git clone ssh://hg@leafscale.isurus.dev:2222/reef/reef-claude git clone https://leafscale.isurus.dev/reef/reef-claude

Branches

main

8bdc6ba1f4a5 fix: sync skills from grok (compilable Result/match + AO wait)

Chris Tusa <test@test.com> 15 days ago

reef (Claude Code plugin)

Skills that teach Claude Code to write Reef 0.9.x: language idioms,
passive objects and Active Objects, project setup, and debugging through
generated C.

This is a port. Edit skills in ../reef-grok first, then copy
skills/ here. Do not edit skills in this repo first.

These plugins are for Reef application code, not the OCaml compiler
or C runtime.

Skills

Skill	Purpose
`reef-lang`	Idioms: Result/Option, strings, match, verify loop
`reef-objects`	Struct vs passive object vs Active Object
`reef-project`	`reefc new` / build / doctor / install
`reef-debug-c`	`--keep-c`, gdb, sanitizers

Install

Option 1 — `--plugin-dir` (session-only, recommended while developing)

claude --plugin-dir /home/ctusa/repos/reef/reef-claude

Option 2 — local marketplace (persistent)

Place <parent>/.claude-plugin/marketplace.json (parent of this repo,
e.g. /home/ctusa/repos/reef/.claude-plugin/marketplace.json):

{
  "name": "local-reef",
  "owner": { "name": "Leafscale" },
  "plugins": [
    {
      "name": "reef",
      "source": "./reef-claude",
      "description": "Write and debug Reef programs in Claude Code."
    }
  ]
}

source is relative to that marketplace.json.

/plugin marketplace add /home/ctusa/repos/reef
/plugin install reef@local-reef

Check

bash scripts/check-skills.sh

License

MIT — see LICENSE.