test
Run pytest unit tests via tox/uvx and generate coverage reports.
npx skills add https://github.com/leanEthereum/leanSpec --skill test-leanethereum
Or copy as Structured Prompt for Agent▼
Please help me install this Agent Skill. Skill: test Source: https://github.com/leanEthereum/leanSpec/tree/main/.claude/skills/test Command: npx skills add https://github.com/leanEthereum/leanSpec --skill test-leanethereum