LogoClawIndex
CasesSkillsAbout
LogoClawIndex

ClawIndex

OpenClaw Skills & Use Case Index

ClawIndex is an ecosystem-driven index of OpenClaw skills and real-world use cases.

Index

Skills·
Cases

Meta

About·
Disclaimer·
Email·
GitHub
© 2026 ClawIndex All Rights Reserved.

Skills tagged: lean

Browse skills that share this tag.

  • waste-identification - Identify, categorize, and eliminate process waste.
    leanwaste-identificationmudamura

    ★ 0 · Updated 2026-09-17

    Guides systematic identification, categorization, and elimination of process waste, unevenness, and overburden across physical and knowledge work.

    ⚙ Categorize activities using 3M framework⚙ Identify wastes using DOWNTIME mnemonic⚙ Conduct structured gemba waste walks
  • formal-spec-extract-properties - Extract formal spec properties into AutoSpec format
    formal-specautospecproperty-extractiontla-plus

    ★ 0 · Updated 2026-09-13

    Extracts properties from TLA+, Lean, or ProVerif formal specs into AutoSpec structured format with id, statement, essence, and type classifications.

    ⚙ Parse properties from formal specs⚙ Classify property safety liveness types⚙ Write plain language property essences
  • proof-by-contradiction - Proof by Contradiction: Mathematical Proof Technique
    mathematicsprooflogictheorem-proving

    ★ 4 · Updated 2026-02-14

    Proves mathematical statements by assuming the negation and deriving a contradiction

    ⚙ Negate mathematical statements⚙ Derive logical consequences⚙ Identify contradiction patterns
  • skill-lean-research - Lean Research Skill
    researchleanmathlibtheorem-proving

    ★ 5 · Updated 2026-02-13

    Research Lean 4 and Mathlib for theorem proving tasks. Invoke for Lean-language research.

    ⚙ validate task status⚙ update research status⚙ create marker files