Clone

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

Branches

main

cdffe07 fix: compilable Result/match example and AO run() wait

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

reef (Grok plugin)

Skills for Grok / Grok Build that teach agents to write
Reef 0.9.x: language idioms, passive objects and Active Objects,
project setup, and debugging through generated C.

This repo is the source of truth. The Claude Code port lives in
../reef-claude and must copy skills/ from here.

These plugins are for Reef application code. Compiler (OCaml) and
runtime (C) work stays in the reef-lang tree.

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

Slash commands match skill names: /reef-lang, /reef-objects,
/reef-project, /reef-debug-c.

Language chapters: https://reeflang.dev/docs/language/reference.

Install

Option A — local path (recommended while developing)

grok plugin install /home/ctusa/repos/reef/reef-grok --trust
grok plugin enable reef

Or link into the auto-trusted user plugins dir:

ln -sfn /home/ctusa/repos/reef/reef-grok ~/.grok/plugins/reef

Then in ~/.grok/config.toml:

[plugins]
enabled = ["reef"]

Option B — local marketplace

Parent marketplace index (example):

{
  "name": "leafscale-local",
  "owner": { "name": "Leafscale" },
  "plugins": [
    {
      "name": "reef",
      "description": "Write and debug Reef programs",
      "source": { "type": "local", "path": "./reef-grok" }
    }
  ]
}

grok plugin marketplace add /home/ctusa/repos/reef
grok plugin install reef

Check

bash scripts/check-skills.sh

License

MIT — see LICENSE.