Menu
Use when a user asks the Oi hello-world example to greet one supplied name.
The review-first prompt is selected by default. You can switch to a direct command or download a local copy.
Read SKILL.md and any companion files shown by SkillsMP before deciding whether to install.
Install with Codex or Claude Copy this prompt, paste it into Codex, Claude, or another assistant, and let it review the skill page and install it for you.
A direct command skips the review prompt. Inspect the source before running it.
npx skills add https://github.com/oi-language/oi --skill hello-worldThe command stays on one line. Scroll horizontally to inspect it before copying.
Prefer a local copy? Download the files currently available to SkillsMP.
Use when an Agent needs to statically validate an Oi module without compiling, rewriting, or executing it.
Use when an Agent needs deterministic typed receipt replay without invoking the target entry or effects.
Use when an Agent needs to check whether an Oi module can use one explicitly requested installed language version without changing files or executing the target.
Based on SOC occupation classification
Showing SKILL.md
| name | hello-world |
| description | Use when a user asks the Oi hello-world example to greet one supplied name. |
Use the local using-oi bootstrap adapter with this directory's oi.mod and main.oi. Bind exactly one caller input,
Name("Oi"), map Reply through caller.reply, and host-invoke lowercase main.
The result is unit completion and exactly one Greeting("Hello, Oi!") payload. The Name contract is checked during
caller binding and creates no entry operation. Constructing Greeting performs one contract Judgment. The immutable,
already-validated exact same named value then crosses the Reply boundary by reusing that validation evidence, without a
second Judgment. Judgment and Reply each have their required Allocation, Started, and Completed records; root completion
appears only as the Completed receipt terminal. Use the frozen runtime and suite catalog for canonical identity and
digest validation; this router defines no algorithm. main has no return value.