Week 26 · 2026
Jun 22 – Jun 28, 2026 · gathered Jul 15, 2026
- 1
- PRs merged
- 2
- Closed
- 26
- Opened
- 0
- Releases
- 4
- Repos
- 15
- Commits
- 3
- Comments
Highlights
The week we turned vision into a concrete, public plan.
We broke the cardano-init roadmap down into 20+ tracked issues covering:
- Install paths for every environment (Nix, Homebrew, Windows)
- CI smoke matrices to keep every generated template building green
- A static hosted "command builder"
- Published usage docs
- The AI/LLM-native commands that set this tool apart.
Laying all of this out in the open means the community can see exactly where we're headed and jump in early.
On contracts-library we opened our first exploration issues:
- linear vesting with formal proofs
- CIP-113 programmable tokens
But this wasn't only planning. We shipped real code too.
On cardano-init, the Nix installer landed (closing our first roadmap issue) along with a new list command.
On contracts-library we stood up formal methods and began proving properties of the Linear Vesting contract (completeness and soundness) a first step toward contracts that aren't just tested, but provably correct.
And we started giving back immediately: a per-command context flag we needed landed upstream in cardano-up, improving a tool the whole ecosystem already relies on.
Activity
Merged PRs, issues, and releases grouped by deliverable — the evidence behind the narrative above.
D3 Setup CLI/TUI
In progress- Issue openedAdd AI/LLM-related goodiesinput-output-hk/cardano-init · @rober-m
- Issue openedMin-version constraints in doctorinput-output-hk/cardano-init · @rober-m
- Issue openedcardano-up self-install when absentinput-output-hk/cardano-init · @rober-m
- Issue openedWASM live file-tree preview in hosted builderinput-output-hk/cardano-init · @rober-m
- Issue openedScheduled weekly maintenance smoke runinput-output-hk/cardano-init · @rober-m
- Issue openedCI: snapshot + contract-compliance gates + release artifactsinput-output-hk/cardano-init · @rober-m
- Issue openedCI: per-tool build smoke matrixinput-output-hk/cardano-init · @rober-m
- Issue openedVersion-update pre-generation noticeinput-output-hk/cardano-init · @rober-m
- Issue openedcardano-init install (dependency auto-install)input-output-hk/cardano-init · @rober-m
- Issue openedStatic hosted builder (command assembler)input-output-hk/cardano-init · @rober-m
- Issue openedPublish usage docs siteinput-output-hk/cardano-init · @rober-m
- Issue openedPlanner determinism canonicalization + gateinput-output-hk/cardano-init · @rober-m
- Issue openedSurface formal-methods role as preview / coming sooninput-output-hk/cardano-init · @rober-m
- Issue openedAdd contract-compliance test per templateinput-output-hk/cardano-init · @rober-m
- Issue openedYaci DevKit devnet: integration smoke testinput-output-hk/cardano-init · @rober-m
- Issue openedVerify MeshJS off-chain builds and tests greeninput-output-hk/cardano-init · @rober-m
- Issue openedVerify Aiken on-chain builds and tests greeninput-output-hk/cardano-init · @rober-m
- Issue openedAdd Tx3 off-chain templateinput-output-hk/cardano-init · @rober-m
- Issue openedAdd CI to check for `cardano-up` integrationinput-output-hk/cardano-init · @rober-m
- Issue openedAdd Windows installerinput-output-hk/cardano-init · @rober-m
- Issue openedAdd Homebrew as installation methodinput-output-hk/cardano-init · @rober-m
- Issue openedAdd Nix as installation methondinput-output-hk/cardano-init · @rober-m
- Issue closedAdd Nix as installation methondinput-output-hk/cardano-init · @rober-m
- Mergedfeat: CLI flag to target a context per-commandblinklabs-io/cardano-up · @rober-m
- Issue openedFeature Request: Homebrew Distributionblinklabs-io/cardano-up · @rober-m
- Issue closedFeature Request: Homebrew Distributionblinklabs-io/cardano-up · @rober-m
6 commits · input-output-hk/cardano-init · 1 commit · blinklabs-io/cardano-up
D5 Contracts Library
In progress- Issue openedFinish/Polish Linear Vesting Specs and Formal Proofsinput-output-hk/contracts-library · @rober-m
- Issue openedExplore adding CIP-113 substandardsinput-output-hk/contracts-library · @rober-m
- Issue openedExplore ways of interaction between CIP-113 programmable tokens and our/other protocolsinput-output-hk/contracts-library · @rober-m
8 commits · input-output-hk/contracts-library