Skip to main content
skillsmp

菜单

在 Manus 中运行任何 Skill
一键导入
GitHub 仓库

marv-lang

marv-lang 收录了来自 joaoh82 的 2 个 skills，并提供仓库级职业覆盖和站内 skill 详情页。

joaoh82 资料在 GitHub 查看
已收集 skills
2
Stars
0
更新
2026-06-30
Forks
0
职业覆盖
软件开发工程师
1 个职业分类 · 已分类 100%
仓库浏览

这个仓库中的 skills

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.

2026-06-30
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.

2026-06-08