Fill Tests
ethereum/execution-specs
Fill test fixtures with the repository fill command. An agent skill from ethereum/execution-specs.
“Generate consensus layer test fixtures”
$ npx skills add leanEthereum/leanSpec --skill fill -a claude-codeProject install by default; add -g for ~/.claude/skills/.
$ gh skill install leanEthereum/leanSpec fill --agent claude-codeProject scope by default; add --scope user for a personal install. Needs GitHub CLI 2.90.0 or later (public preview).
$ git clone --depth 1 https://github.com/leanEthereum/leanSpec.git skills-src && mkdir -p .claude/skills && cp -r skills-src/.claude/skills/fill .claude/skills/fill && rm -rf skills-srcUse ~/.claude/skills/ instead of .claude/skills for a personal install. The folder must contain SKILL.md.
Claude Code skills documentation · loads skills from .claude/skills/
Install the "fill" agent skill from https://github.com/leanEthereum/leanSpec/tree/main/.claude/skills/fill into .claude/skills/fill/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "fill", then confirm the skill loads.Claude Code copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$skill-installer install https://github.com/leanEthereum/leanSpec/tree/main/.claude/skills/fillType this inside Codex. $skill-installer <name> installs a curated skill from openai/skills. The installer writes to $CODEX_HOME/skills (default ~/.codex/skills). Restart Codex if the skill does not show up.
$ npx skills add leanEthereum/leanSpec --skill fill -a codexProject install goes to .agents/skills/; add -g for ~/.codex/skills/.
$ gh skill install leanEthereum/leanSpec fill --agent codexProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/leanEthereum/leanSpec.git skills-src && mkdir -p .agents/skills && cp -r skills-src/.claude/skills/fill .agents/skills/fill && rm -rf skills-srcUse ~/.agents/skills/ instead of .agents/skills for a personal install.
Codex skills documentation · loads skills from .agents/skills/
Install the "fill" agent skill from https://github.com/leanEthereum/leanSpec/tree/main/.claude/skills/fill into .agents/skills/fill/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "fill", then confirm the skill loads.Codex copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ npx skills add leanEthereum/leanSpec --skill fill -a cursorProject install goes to .agents/skills/; add -g for ~/.cursor/skills/.
$ gh skill install leanEthereum/leanSpec fill --agent cursorProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/leanEthereum/leanSpec.git skills-src && mkdir -p .cursor/skills && cp -r skills-src/.claude/skills/fill .cursor/skills/fill && rm -rf skills-srcUse ~/.cursor/skills/ instead of .cursor/skills for a personal install.
Cursor skills documentation · loads skills from .cursor/skills/, .agents/skills/, .claude/skills/, .codex/skills/
Install the "fill" agent skill from https://github.com/leanEthereum/leanSpec/tree/main/.claude/skills/fill into .cursor/skills/fill/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "fill", then confirm the skill loads.Cursor copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ gemini skills install https://github.com/leanEthereum/leanSpec.git --path .claude/skills/fill--scope user (default) or --scope workspace; --path is the subfolder of the repo that holds the skill; --consent skips the security confirmation prompt.
$ npx skills add leanEthereum/leanSpec --skill fill -a gemini-cliProject install goes to .agents/skills/; add -g for ~/.gemini/skills/.
$ gh skill install leanEthereum/leanSpec fill --agent gemini-cliProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/leanEthereum/leanSpec.git skills-src && mkdir -p .gemini/skills && cp -r skills-src/.claude/skills/fill .gemini/skills/fill && rm -rf skills-srcUse ~/.gemini/skills/ instead of .gemini/skills for a personal install, then run /skills reload.
Gemini CLI skills documentation · loads skills from .gemini/skills/, .agents/skills/
Install the "fill" agent skill from https://github.com/leanEthereum/leanSpec/tree/main/.claude/skills/fill into .gemini/skills/fill/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "fill", then confirm the skill loads.Gemini CLI copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ gh skill install leanEthereum/leanSpec fillInstalls for Copilot at project scope by default; add --scope user for a personal install. Preview a skill first with gh skill preview. Needs GitHub CLI 2.90.0 or later (public preview).
$ npx skills add leanEthereum/leanSpec --skill fill -a github-copilotProject install goes to .agents/skills/; add -g for ~/.copilot/skills/.
$ git clone --depth 1 https://github.com/leanEthereum/leanSpec.git skills-src && mkdir -p .github/skills && cp -r skills-src/.claude/skills/fill .github/skills/fill && rm -rf skills-srcUse ~/.copilot/skills/ instead of .github/skills for a personal install. Commit .github/skills so cloud agent and code review can use it.
GitHub Copilot skills documentation · loads skills from .github/skills/, .claude/skills/, .agents/skills/
Install the "fill" agent skill from https://github.com/leanEthereum/leanSpec/tree/main/.claude/skills/fill into .github/skills/fill/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "fill", then confirm the skill loads.GitHub Copilot copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ npx skills add leanEthereum/leanSpec --skill fill -a opencodeOpenCode documents no install command of its own. Project install goes to .agents/skills/; add -g for ~/.config/opencode/skills/.
$ gh skill install leanEthereum/leanSpec fill --agent opencodeProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/leanEthereum/leanSpec.git skills-src && mkdir -p .opencode/skills && cp -r skills-src/.claude/skills/fill .opencode/skills/fill && rm -rf skills-srcUse ~/.config/opencode/skills/ instead of .opencode/skills for a personal install.
OpenCode skills documentation · loads skills from .opencode/skills/, .claude/skills/, .agents/skills/
Install the "fill" agent skill from https://github.com/leanEthereum/leanSpec/tree/main/.claude/skills/fill into .opencode/skills/fill/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "fill", then confirm the skill loads.OpenCode copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
fillFill is a skill in leanEthereum/leanSpec (143 stars). Its SKILL.md is about 202 tokens. Licence: MIT.
3 steps, taken from the first numbered list in SKILL.md.
Read from SKILL.md and the folder at commit 0b7d33e. It shows what the files ask for, not the result of running them.
Pre-approves nothing: there is no allowed-tools line, so your agent's usual permission prompts apply.
From allowed-tools in the SKILL.md frontmatter.
Shell commands in SKILL.md call:
uvjustFrom the folder's file list and the shell code blocks in SKILL.md.
No URLs in SKILL.md. Its commands use uv, which can reach the network depending on how they are called.
From URLs in SKILL.md, links to its own repository left out.
Names no API keys, tokens, secrets or passwords.
From names ending in _API_KEY, _TOKEN, _SECRET, _KEY or _PASSWORD in SKILL.md.
Fill loads about 202 tokens when it runs. Until then it costs about 11 tokens; SKILL.md has 89 words of instructions outside code blocks.
Estimates: characters ÷ 4, the usual rule of thumb; real counts depend on the model's tokenizer. Scripts and assets cost tokens only if the agent reads them.
The automated check found no risky patterns in SKILL.md.
Automated static check — not a guarantee. Review scripts before installing. It scans the text of SKILL.md for risky patterns (piping downloads into a shell, reading credential files, hidden Unicode, destructive commands); files beside SKILL.md are not scanned.
The full file from leanEthereum/leanSpec at commit 0b7d33e, republished under its MIT licence (© leanEthereum). 89 words, ~202 tokens.
.claude/skills/fill/SKILL.md (or your agent's skills folder).Run the test filler to generate consensus layer test fixtures.
uv run fill --fork=Lstar --clean -n autoPass additional arguments after --:
/fill -- --scheme=prod - Use production signature scheme (slower)/fill -- --fork=<other> - Generate for a different fork/fill -- path/to/test.py - Generate fixtures for specific test filetests/consensus/fixtures/consensus/The just fill-ci recipe wraps the same command for CI; contributors should
invoke uv run fill directly so flags like --fork and --clean stay visible.
© leanEthereum, MIT. Rendered from Markdown: HTML in the file is shown as text, images as links, and headings moved down two levels. Raw file
Just SKILL.md in .claude/skills/fill of leanEthereum/leanSpec.
Open the folder on GitHubat commit 0b7d33e
Fill next to the 5 skills that share the most tags, products or categories with it. Stars are the repository's; “used in” counts other GitHub owners with a copy.
| Skill | Stars | Used in | Tokens | Auto-check | Licence | Repo updated |
|---|---|---|---|---|---|---|
| Fill this skillleanEthereum/leanSpec | 143 | — | ~202 | Automated safety check: Pass | MIT | |
| Fill Testsethereum/execution-specs | 1.2k | — | ~793 | Automated safety check: Pass | CC0-1.0 | |
| Update Est Fixturesethereumjs/ethereumjs-monorepo | 2.8k | — | ~3.3k | Automated safety check: Pass | None | |
| Jest Testing PatternsChrisWiles/claude-code-showcase | 6.1k | 7 repos | ~1.5k | Automated safety check: Pass | None | |
| Java SDK E2E Test with Replay Snapshotgithub/copilot-sdk | 11k | — | ~1.8k | Automated safety check: Pass | MIT | |
| source-mssql E2E Test Harnessairbytehq/airbyte | 22k | — | ~4.4k | Automated safety check: Pass | Custom licence |
ethereum/execution-specs
Fill test fixtures with the repository fill command. An agent skill from ethereum/execution-specs.
ethereumjs/ethereumjs-monorepo
Updates EthereumJS execution-spec test fixtures from an ethereum/execution-specs release, then (after a human merge) points the monorepo submodule, updates VM npm scripts, reports a first test run…
ChrisWiles/claude-code-showcase
Jest patterns for React Native style tests: TDD discipline, mock factory functions, module and GraphQL hook mocking, custom render helpers and anti-patterns to avoid.
github/copilot-sdk
Creates a Java SDK end-to-end test for the Copilot SDK that runs against a recorded YAML snapshot through a replay proxy, so CI needs no real authentication.
airbytehq/airbyte
Stands up a throwaway local SQL Server 2022 backend, applies SQL fixtures and runs Airbyte spec, check, discover and read against source-mssql images.
rtk-ai/rtk
Enforces red-green-refactor for new RTK output filters in Rust, using real captured fixtures, snapshot tests with insta and token-savings assertions.
leanEthereum/leanSpec
Read-only, multi-agent audit of the leanSpec codebase. An agent skill from leanEthereum/leanSpec.
leanEthereum/leanSpec
Run leanSpec fixtures against a client implementation. An agent skill from leanEthereum/leanSpec.
leanEthereum/leanSpec
Quick-reference checklist for code review conventions in leanSpec
leanEthereum/leanSpec
Show what changed in leanSpec between devnet versions or HEAD
leanEthereum/leanSpec
Common developer workflows, commands, and troubleshooting for leanSpec
leanEthereum/leanSpec
Document code in this repository.
Works with
Categories
Run `npx skills add leanEthereum/leanSpec --skill fill -a claude-code`. Or copy the skill folder (.claude/skills/fill in leanEthereum/leanSpec) into .claude/skills/fill in your project. Claude Code loads it when a task matches its description.
Run `npx skills add leanEthereum/leanSpec --skill fill -a codex`. Or copy the skill folder (.claude/skills/fill in leanEthereum/leanSpec) into .agents/skills/fill in your project. Codex loads it when a task matches its description.
Cursor, Gemini CLI, GitHub Copilot and OpenCode also load SKILL.md folders. With the skills CLI, run `npx skills add leanEthereum/leanSpec --skill fill -a cursor` (or -a gemini-cli, github-copilot or opencode for the others). To copy it by hand, put the folder in .cursor/skills/fill, .gemini/skills/fill, .github/skills/fill and .opencode/skills/fill in your project.
Going by SKILL.md and its folder, Fill needs the command-line tools its instructions call (uv and just).
SKILL.md contains no URLs. Its commands use uv, which can reach the network depending on how they are called. This is read from the text; nothing was executed.
Our automated static check of SKILL.md found no risky patterns, such as piping downloads into a shell, reading credential files or hidden Unicode. It is not a guarantee. Review the folder before installing.
Fill is published under the MIT licence (the repository's licence). It allows redistribution, so the full SKILL.md is shown on this page.
About 202 tokens (SKILL.md is roughly 808 characters). Agents keep only the skill's name and description in context until a task matches; then they load SKILL.md in full.
Skills that share tags, products or a category with Fill: Fill Tests (ethereum/execution-specs, 1.2k stars), Update Est Fixtures (ethereumjs/ethereumjs-monorepo, 2.8k stars), Jest Testing Patterns (ChrisWiles/claude-code-showcase, 6.1k stars) and Java SDK E2E Test with Replay Snapshot (github/copilot-sdk, 11k stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.
leanEthereum (a GitHub organization) maintains it in leanEthereum/leanSpec, which has 143 GitHub stars. The repository holds 9 skills in this directory. The repository was last updated on September 2, 2026.
Source: leanEthereum/leanSpec on GitHub. Facts on this page come from the repository at the commit we read; the author's words are quoted as theirs.