marv

name	marv
description	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.

Driving marv

marv is a compiled language whose author is a coding agent and whose auditor is a human. The compiler is a service (JSON-RPC, salsa-incremental) plus a CLI. Your job is to run the loop tightly and respect the invariants. Full context: docs/agents.md, README.md, and spec/03 (the protocol).

The loop

1. check the file(s) you generated (marv check <file>, or the marv_check MCP tool).
2. If there are errors, prefer applying the fix a diagnostic carries (confidence ≥ 0.8) over regenerating; otherwise regenerate the offending definition using the message.
3. fmt to canonical form (marv fmt --write) — never hand-format; there is exactly one form.
4. verify pure / verified-subset definitions (marv verify); on failed, use the counterexample to repair, then re-verify. unsupported is fine (falls back to runtime checks).
5. run / build with an explicit capability grant (marv run --grant …, marv build).
6. commit to freeze reproducible hashes (marv commit); already-reviewed hashes need no re-audit.

Two ways to call it

• CLI — marv fmt|check|run|build|verify|commit (see ). Good for one-shot work.