From Lean to Obese: The Uncomfortable Truth About Steak's Protein Content - ButcherBox Blog
EurekAlert!: Metabolome and RNA-seq reveal discrepant metabolism and secretory metabolism profile in skeletal muscle between obese and lean pigs at different ages Metabolome and RNA-seq reveal discrepant metabolism and secretory metabolism profile in skeletal muscle between obese and lean pigs at different ages Lean Philosophy (Principles) Kaizen (改善): This skill is an atomic node, broken down into its simplest, smallest component to eliminate waste and ensure perfection. Standardized Work (Hyojun Sagyo): This node represents the most efficient, standardized path for this specific task before automation. Jidoka (自働化): This node includes autonomous defect detection.
Understanding the Context
It will stop immediately ... However, if Lean source contains import of unresolved packages, lake tooling could theoretically attempt a fetch — this is a Lean runtime behavior, not initiated by the skill. To prevent this, avoid lakefile.lean or lake-manifest.json in the temp directory (which the skill does not create). Usage Examples "Check if this Lean 4 proof type-checks" Lean Claude Code Harness Distill the durable parts of Claude Code into a smaller, auditable harness.
Image Gallery
Key Insights
The goal is not feature parity. The goal is a runtime another engineer can understand, extend, and verify without reverse-engineering hidden behavior. When to Use Use this skill when a coding-agent runtime shows any of these symptoms: config values are hard to trace tool permissions are ... Skill File Organization Rules Keep SKILL.md Lean Under 500 lines — split into references/ if longer Only in SKILL.md: Workflow phases, Style Guide summary, parameter tables, reference links In references/: Detailed specs, prompt templates, domain knowledge, examples