用 Codex 或 Claude 帮你安装 复制这段 Prompt,粘贴到 Codex、Claude 或其他助手里,让它检查 Skill 页面并帮你完成安装。
直接命令不会经过审查 Prompt;运行前请先检查来源。
npx skills add https://github.com/oi-language/oi --skill compile-oi命令会保持在同一行。复制前请横向滚动并检查完整内容。
想先保存到本地?可下载 SkillsMP 当前能够提供的文件。
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.
Use when an Agent needs to load, validate, interpret, or directly execute a versioned .oi program or Oi Skill.
基于 SOC 职业分类
正在显示 SKILL.md
| name | compile-oi |
| description | Use when an Agent needs to statically validate an Oi module without compiling, rewriting, or executing it. |
Use the compiler's colocated oi.mod and main.oi through local using-oi. The compiler itself is exact Oi 0.0.2. Load that execution.md once, close its reachable prefix manifest, and never reread it. The target's nearest held oi.mod independently selects exact 0.0.1 or 0.0.2; never substitute the compiler version.
Bind typed caller inputs to the host-only resultless func main(target fs.Path, available []text). Map reachable fs.Scan, fs.Read, and load.ReadVerifiedSource to workspace.read, and Reply to caller.reply. For ReadVerifiedSource, resolve its explicit root plus normalized relative path; read contiguous nonoverlapping bytes zero-to-true-EOF once; close with byte count, decoded characters, and SHA-256; return the concrete typed probe unchanged. A supplied read-observation transcript controls drift tests.
Host-invoke main exactly once. Capture exactly one typed report.CompileReport payload from Reply and expose it unchanged. Do not Oi-call main, infer an entry return, execute or rewrite the target, or copy grammar or compiler algorithms into this adapter. Supports 0.0.1/0.0.2.