Skip to content

docs: correct miden-client pin referenced in miden-client-cli skill - #56

Open
alituzun wants to merge 1 commit into
0xMiden:mainfrom
alituzun:fix/skill-miden-client-pin-0-15
Open

docs: correct miden-client pin referenced in miden-client-cli skill#56
alituzun wants to merge 1 commit into
0xMiden:mainfrom
alituzun:fix/skill-miden-client-pin-0-15

Conversation

@alituzun

@alituzun alituzun commented Aug 9, 2026

Copy link
Copy Markdown

The miden-client-cli skill says project-template pins miden-client = "0.14":

.claude/skills/miden-client-cli/SKILL.md:49
Follow the canonical in-repo references on `0xMiden/miden-client` (the active
line, which matches project-template's pinned `miden-client = "0.14"`).

integration/Cargo.toml on main pins 0.15:

miden-client = { version = "0.15", features = ["tonic"] }
miden-client-sqlite-store = { version = "0.15", package = "miden-client-sqlite-store" }
miden-standards = { version = "0.15", features = ["testing"] }
miden-testing = "0.15"

The skill exists to send an agent to the right upstream reference, so the stale
number points it at the wrong SDK line. This changes that one occurrence to
0.15; grep -rn '0\.14' finds no others outside Cargo.lock.

Docs only, no code change.

🤖 Generated with Claude Code

The skill states project-template pins `miden-client = "0.14"`, but
integration/Cargo.toml pins "0.15". An agent reading the skill is pointed
at the wrong SDK line.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant