New: 98,000+ skills indexed from GitHub repos with 100+ stars · every skill safety-checkedBrowse top skillsTop skills
Esc to closeBrowse all skills
Submit a skillBrowse skills
Submit a skillBrowse skills

Agent skill

Workflows

by leanEthereum in leanEthereum/leanSpec

Common developer workflows, commands, and troubleshooting for leanSpec

MITAuto-check passedDevelopment

Install Workflows

skills CLI
$ npx skills add leanEthereum/leanSpec --skill workflows -a claude-code

Project install by default; add -g for ~/.claude/skills/.

GitHub CLI
$ gh skill install leanEthereum/leanSpec workflows --agent claude-code

Project scope by default; add --scope user for a personal install. Needs GitHub CLI 2.90.0 or later (public preview).

Manual copy
$ git clone --depth 1 https://github.com/leanEthereum/leanSpec.git skills-src && mkdir -p .claude/skills && cp -r skills-src/.claude/skills/workflows .claude/skills/workflows && rm -rf skills-src

Use ~/.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/

Facts

Skill name
workflows
GitHub stars
143
Token cost
~496 tokens
SKILL.md length
153 words
Files
1
Skills in repo
9
Repo updated
First seen
Licence
MIT

At a glance

Common developer workflows, commands, and troubleshooting for leanSpec

  • Development work in your project
  • SKILL.md covers Running Specific Tests, Resolving Type Errors, Inspecting Coverage and Running Interop Tests, plus 3 more sections
  • Calls just and ruff

What it does

Workflows is an agent skill from leanEthereum/leanSpec. Common developer workflows, commands, and troubleshooting for leanSpec

Its SKILL.md is about 500 tokens, which your agent loads only when the skill is triggered. It is a single SKILL.md file with no bundled scripts.

It sits in Development. It works with Ethereum. The repository describes itself as: Lean Ethereum protocol specifications and test vector generation framework. The licence is MIT.

When your agent uses it

  • Development work in your project

Example prompts

  • “/workflows”

Requirements

  • Python 3

What it can do on your machine

Read from SKILL.md and the folder at commit 0b7d33e. It shows what the files ask for, not the result of running them.

  • Tool permissions

    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.

  • Runs code

    Shell commands in SKILL.md call:

    • just
    • ruff

    From the folder's file list and the shell code blocks in SKILL.md.

  • Network

    No URLs in SKILL.md.

    From URLs in SKILL.md, links to its own repository left out.

  • Credentials

    Names no API keys, tokens, secrets or passwords.

    From names ending in _API_KEY, _TOKEN, _SECRET, _KEY or _PASSWORD in SKILL.md.

Context cost

Workflows loads about 496 tokens when it runs. Until then it costs about 20 tokens; SKILL.md has 153 words of instructions outside code blocks.

Always · name and description, kept in context so the agent knows when to use it
~20
When it runs · the whole SKILL.md, loaded when a task matches
~496

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.

Safety

Auto-check passed

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.

SKILL.md

The full file from leanEthereum/leanSpec at commit 0b7d33e, republished under its MIT licence (© leanEthereum). 153 words, ~496 tokens.

Download SKILL.mdSave it as .claude/skills/workflows/SKILL.md (or your agent's skills folder).
name
workflows
description
Common developer workflows, commands, and troubleshooting for leanSpec

/workflows - Repository Workflows

Common developer workflows and commands for working in leanSpec.

Running Specific Tests

bash
# Single test file
just test tests/node/networking/transport/test_peer_id.py -v

# Single test class or method
just test -k "TestDiscoveryTransport::test_start" -v

# With print output visible
just test -s -k "test_name"

Resolving Type Errors

The project uses two type checkers. Run them separately to isolate issues:

bash
# Full type check (ty — the primary checker used in CI)
just typecheck

# Lint check (ruff — catches style and import issues)
just lint

Common type error patterns:

  • invalid-assignment — Wrong type assigned; check if a domain type (RequestId, PeerId) is expected instead of raw bytes
  • invalid-argument-type — Function argument type mismatch; verify the function signature
  • union-attr — Accessing attribute on a possibly-None value; add an assert is not None guard

Inspecting Coverage

After running tests, coverage reports are generated:

bash
# View coverage in terminal
just test-cov

# Open HTML report
open htmlcov/index.html

Running Interop Tests

Interop tests are excluded from the default test run. Run them explicitly:

bash
just interop

Spell Check Failures

bash
# Run spell check
just spellcheck

# Add legitimate words to the ignore list
echo "newword" >> .codespell-ignore-words.txt

Markdown Formatting

bash
# Check markdown formatting (docs only)
just mdformat

Common Pitfalls

  • Tests pass locally but CI fails: CI runs checks across Python 3.12, 3.13, and 3.14. Ensure no version-specific syntax is used.
  • ruff format changes after ruff check --fix: Always run format after fix — the fixer doesn't guarantee formatting compliance.
  • Import ordering issues: Run just fix to auto-sort imports.

© leanEthereum, MIT. Rendered from Markdown: HTML in the file is shown as text, images as links, and headings moved down two levels. Raw file

Files

Just SKILL.md in .claude/skills/workflows of leanEthereum/leanSpec.

Open the folder on GitHubat commit 0b7d33e

Compare with similar skills

Workflows 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.

Workflows compared with similar skills
SkillStarsUsed inTokensAuto-checkLicenceRepo updated
Workflows this skillleanEthereum/leanSpec143—~496Automated safety check: PassMIT
Wagmi Feature Developmentwevm/wagmi6.8k—~3.8kAutomated safety check: PassMIT
Release Roundethereumjs/ethereumjs-monorepo2.8k—~2kAutomated safety check: PassNone
Update Est Fixturesethereumjs/ethereumjs-monorepo2.8k—~3.3kAutomated safety check: PassNone
Starknet JSstarknet-io/starknet.js1.3k—~1.2kAutomated safety check: PassMIT
Lean Reviewgeanlabs/gean177—~1.5kAutomated safety check: PassNone

Similar skills

  • Wagmi Feature Development

    wevm/wagmi

    Walks through adding a Wagmi feature across its layers: a Viem-based core action, TanStack Query options, and React and Vue bindings.

    6.8k GitHub stars~3.8k tokensUpdated 6 days ago
    DevelopmentAuto-check passed

  • Release Round

    ethereumjs/ethereumjs-monorepo

    Runs a coordinated EthereumJS npm release round in six human-gated phases — intent and readiness, CHANGELOG, version bump, publish (human executes), post-publish verification, and announcements.

    2.8k GitHub stars~2k tokensUpdated 19 days ago
    DevelopmentAuto-check passed

  • Update Est Fixtures

    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…

    2.8k GitHub stars~3.3k tokensUpdated 19 days ago
    DevelopmentAuto-check passed

  • Starknet JS

    starknet-io/starknet.js

    A skill your agent uses when writing or debugging JavaScript/TypeScript that interacts with Starknet through the starknet.js SDK — building Call objects or calldata, encoding/decoding Cairo types…

    1.3k GitHub stars~1.2k tokensUpdated today
    DevelopmentAuto-check passed

  • Lean Review

    geanlabs/gean

    Review a branch or PR's diff against main and report opportunities to subtract — simplify, delete, and reduce the number of concepts a reader has to hold in their head.

    177 GitHub stars~1.5k tokensUpdated today
    DevelopmentAuto-check passed

  • Boundless CLI

    boundless-xyz/boundless

    How to use the Boundless CLI — the primary interface for the Boundless ZK proof marketplace.

    193 GitHub starsUsed in 1 repo~1.8k tokens
    DevelopmentAuto-check passed

More from leanEthereum/leanSpec

All 9 skills in this repo

  • Audit

    leanEthereum/leanSpec

    Read-only, multi-agent audit of the leanSpec codebase. An agent skill from leanEthereum/leanSpec.

    143 GitHub stars~2.5k tokensUpdated 1 mo ago
    Auto-check passed

  • Client Test

    leanEthereum/leanSpec

    Run leanSpec fixtures against a client implementation. An agent skill from leanEthereum/leanSpec.

    143 GitHub stars~594 tokensUpdated 1 mo ago
    Auto-check passed

  • Review

    leanEthereum/leanSpec

    Quick-reference checklist for code review conventions in leanSpec

    143 GitHub stars~468 tokensUpdated 1 mo ago
    Auto-check passed

  • Spec Diff

    leanEthereum/leanSpec

    Show what changed in leanSpec between devnet versions or HEAD

    143 GitHub stars~1.2k tokensUpdated 1 mo ago
    Auto-check passed

  • Doc

    leanEthereum/leanSpec

    Document code in this repository.

    143 GitHub stars~1.9k tokensUpdated 1 mo ago
    Auto-check passed

  • Fill

    leanEthereum/leanSpec

    Generate consensus layer test fixtures

    143 GitHub stars~202 tokensUpdated 1 mo ago
    Auto-check passed

Works with

Categories

Questions about Workflows

What does Workflows do?

Common developer workflows, commands, and troubleshooting for leanSpec. Workflows is an agent skill from leanEthereum/leanSpec.

When should I use Workflows?

Workflows fits situations like: development work in your project.

How do I install Workflows in Claude Code?

Run `npx skills add leanEthereum/leanSpec --skill workflows -a claude-code`. Or copy the skill folder (.claude/skills/workflows in leanEthereum/leanSpec) into .claude/skills/workflows in your project. Claude Code loads it when a task matches its description.

How do I install Workflows in Codex?

Run `npx skills add leanEthereum/leanSpec --skill workflows -a codex`. Or copy the skill folder (.claude/skills/workflows in leanEthereum/leanSpec) into .agents/skills/workflows in your project. Codex loads it when a task matches its description.

Can I use Workflows in Cursor, Gemini CLI or GitHub Copilot?

Cursor, Gemini CLI, GitHub Copilot and OpenCode also load SKILL.md folders. With the skills CLI, run `npx skills add leanEthereum/leanSpec --skill workflows -a cursor` (or -a gemini-cli, github-copilot or opencode for the others). To copy it by hand, put the folder in .cursor/skills/workflows, .gemini/skills/workflows, .github/skills/workflows and .opencode/skills/workflows in your project.

What does Workflows need to run?

Going by SKILL.md and its folder, Workflows needs the command-line tools its instructions call (just and ruff). Our summary lists: Python 3.

Does Workflows access the network?

SKILL.md contains no URLs. Any network use would come from the scripts or tools the agent runs. This is read from the text; nothing was executed.

Is Workflows safe to install?

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.

What licence does Workflows use?

Workflows is published under the MIT licence (the repository's licence). It allows redistribution, so the full SKILL.md is shown on this page.

How many tokens does Workflows use?

About 496 tokens (SKILL.md is roughly 2k characters). Agents keep only the skill's name and description in context until a task matches; then they load SKILL.md in full.

What are the alternatives to Workflows?

Skills that share tags, products or a category with Workflows: Wagmi Feature Development (wevm/wagmi, 6.8k stars), Release Round (ethereumjs/ethereumjs-monorepo, 2.8k stars), Update Est Fixtures (ethereumjs/ethereumjs-monorepo, 2.8k stars) and Starknet JS (starknet-io/starknet.js, 1.3k stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.

Who maintains Workflows?

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.