Lean Worker — Development agent for Claude Code
Lean, cache-cheap worker for SIMPLE, bounded tasks — a single file create/edit, a small scripted step, a scoped code change, a bounded verification.
How to install Lean Worker
Installs to ~/.claude/agents/emasoft-agentlenspro-lean-worker.md
mkdir -p ~/.claude/agents && curl -fsSL https://raw.githubusercontent.com/Emasoft/AgentlensPro/HEAD/agents/lean-worker.md -o ~/.claude/agents/emasoft-agentlenspro-lean-worker.md Restart Claude Code, or start a new session, for it to be picked up.
What Lean Worker does
name: lean-worker description: Lean, cache-cheap worker for SIMPLE, bounded tasks — a single file create/edit, a small scripted step, a scoped code change, a bounded verification. Pinned to sonnet[1m] at medium effort with a minimal native-tool surface (no MCP). Use INSTEAD of a context-inheriting fork whenever the task does NOT need the parent's full conversation context; everything it needs is passed in its prompt as explicit absolute paths. Launch many in parallel for fan-out. model: sonn
Alternatives in Development
- Ds Flash — DSH (DeepSeek Harness) worker on the flash tier - fast and cheap 116 ★
- Franky — Implementation worker for one Superloopy criterion or one non-overlapping slice 109 ★
- Tech Debt Assessor — Use this agent to assess technical debt and code quality in a bounded region of the Revel codebase 107 ★
Full documentation available on GitHub
View Source RepositoryRelated Agents
Prover
Attempt formal proofs in Lean 4 for stated lemmas. Scope: small statistical identities (sample mean unbiasedne
Crucible Qg Judge
Stagnation judge for Crucible quality-gate — mechanical cross-round comparison of finding sets. Pinned to Sonn
Crucible Qg Verifier
Mechanical structural checker for Crucible quality-gate — fix verification and the persistence checker. Pinned
Quick Edit
Fast haiku-powered agent for trivial single-file edits. Use for typo fixes, variable renames, small function a
Sonnet Medium
Generic worker pinned to model sonnet at effort medium. Use only when explicitly dispatching per the superpowe
Jev Standard
Repository worker pinned to the standard tier (sonnet). Use when you already know the tier you want and would
Related Skills
Forgelite
A lean, token-efficient build workflow for Claude Code: shape, plan, build, debug and verify with Opus where i
FACT
FACT – Fast Augmented Context Tools: FACT is a lean retrieval pattern that skips vector search. We cache every
Agent Runtime
Provider-agnostic LLM agent loop for Node: bounded tool calling with validated inputs, token-budget memory, tr