fill
Generate consensus layer JSON test fixtures from tests/consensus using tox-based fill.
npx skills add https://github.com/leanEthereum/leanSpec --skill fill
Or copy as Structured Prompt for Agent▼
Please help me install this Agent Skill. Skill: fill Source: https://github.com/leanEthereum/leanSpec/tree/main/.claude/skills/fill Command: npx skills add https://github.com/leanEthereum/leanSpec --skill fill