/fill - Generate Test Fixtures

SkillDev tools

Generate consensus layer test fixtures

Available today. Use it from your connected AI after setup.

Connect ahel once, and every AI you use reads what you have installed.

Then ask your AI: use the /fill - Generate Test Fixtures skill

What this skill tells your AI

The instructions your AI receives, as published by leanethereum/leanspec in .claude/skills/fill/SKILL.md and read by ahel’s review.

Run the test filler to generate consensus layer test fixtures.

Default Usage

uv run fill --fork=Lstar --clean -n auto

Options

Pass 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 file

What It Does

  1. Discovers tests in tests/consensus/
  2. Executes spec tests to generate fixtures
  3. Outputs JSON fixtures to 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.

Signals

GitHub stars
143
Forks
83
Last commit
Sep 2026
Advanced
Catalog kind
skill
Gateway key
fill
Source
github.com/leanethereum/leanspec