Skip to main content
skillsmp

菜单

joaoh82/marv-lang

SkillsMP 已收集 joaoh82/marv-lang 中的 2 个 Skill。打开任一 Skill 可查看来源和详情。

joaoh82 资料在 GitHub 查看
最近记录的来源活动
SkillsMP 收录数据更新
已收集 skills
2
GitHub 星标
0
GitHub Forks
0

这个仓库中的 skills

软件开发工程师
1 个职业分类 · 已分类 100%

已展示 2 / 2 个已收集 Skill。

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.

原文语言：英语

更新
已展示 2 / 2 个已收集 Skill。