Claude Code Miden skill for reusing seeded Rust test fixtures
Build test account identifiers with the maintained fixture and use an explicit seed for reproducibility on the same target.
中文Install in Claude Code
Open the Miden Rust checkout with its existing testing support enabled. Inspect the account ID fixture in Claude Code and run assertions locally with a fixed seed.
- Review `.claude/skills/use-test-fixtures/SKILL.md` and its requirements at the pinned GitHub commit.
- Create `.claude/skills/use-test-fixtures/` in your project and save the reviewed file as `.claude/skills/use-test-fixtures/SKILL.md`.
- Start Claude Code from that project's root, then select `/use-test-fixtures` in the slash menu.
Example task
Write a local account-type test. Configure the verified fixture for a private account and compare two results built with the same seed.
`AccountIdBuilder` · `AccountType::Private` · `build_with_seed([7_u8; 32])`What to check
On one target, two calls to `build_with_seed([7_u8; 32])` produce the same ID. The type reads `AccountType::Private`.
Original SKILL.md on GitHub · Updated
Frequently asked question
Does the seed generate the same ID on every platform?
The implementation chooses its RNG according to pointer width. Compare seeded outputs within the same target.