Skip to main content
skillsmp

メニュー

joaoh82/marv-lang

SkillsMP は joaoh82/marv-lang から 2 件の skill を収集しています。skill を開くとソースと詳細を確認できます。

joaoh82 のプロフィールGitHub で見る
記録された最新のソース活動
SkillsMP カタログ更新
収集済み skills
2
GitHub スター
0
GitHub フォーク
0

このリポジトリの skills

ソフトウェア開発者
1 件の職業カテゴリ · 100% 分類済み

収集済み skill 2 件中 2 件を表示しています。

marv

職業分類
ソフトウェア開発者
説明

Drive the marv language toolchain — author, check, repair, run, verify, and commit .mv programs via the generate→check→repair loop. Use when working with .mv source, .core.json Core-IR snapshots, the `marv` CLI, or the marv MCP server / JSON-RPC protocol.

原文の言語: 英語

更新

marv

職業分類
ソフトウェア開発者
説明

Drive the marv language toolchain — author, check, repair, run, verify, and commit .mv programs via the generate→check→repair loop. Use when working with .mv source, .core.json Core-IR snapshots, the `marv` CLI, or the marv MCP server / JSON-RPC protocol.

原文の言語: 英語

更新
収集済み skill 2 件中 2 件を表示しています。