OpsDevCode

Labs

Compile and plan Mint offline

Inspect check, MintIR, and plan artifacts captured from the public Mint compiler on local-marker. No TypeScript compiler. No mint apply.

Captured from mint CLI 0.8.0a2 / v0.8.0-alpha.2. These JSON objects were produced by the real mint executable. This page does not compile Mint in the browser and does not apply anything.

Mint owns intent, MintIR, and the plan — not apply

Captured check

{
  "digest": "sha256:20a191b98c0cc869b129d65b0ae7b0203549ea9b8cabc5327cb4f98563e5f575",
  "ok": true
}

Captured compile / plan kinds

{
  "compiler": "specmint 0.8.0a2",
  "languageTag": "v0.8.0-alpha.2",
  "project": "examples/projects/local-marker",
  "ir": {
    "kind": "MintIR",
    "apiVersion": "mint.opsdevcode.io/v0"
  },
  "plan": {
    "schema": "mint.plan-result/v0",
    "kind": "MintPlanResult",
    "ok": true
  }
}
How this was captured

Isolated Python 3.12: pip install specmint from the v0.8.0-alpha.2 GitHub Release / PyPI mirror, then mint check, mint compile, and mint plan --locked on examples/projects/local-marker. Version line: mint language v0 (specmint 0.8.0a2).

Adopt in a repository

Use the first-party action or the starter template. Both pin a published GitHub Release wheel — not this captured v0.8.0-alpha.2 fixture. There is no latest tag and no mint apply.

Get started

Mint productmint-actionmint-starterLanguage source