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: mathlib

Browse skills that share this tag.

  • 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