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 with output: Theorem definitions

Browse skills that produce this output.

  • lean - Develop and verify Lean 4 artifacts
    Lean 4formal verificationtheorem provingproof repair

    ★ 70 · Updated 2026-09-30

    Repairs proofs, develops theorems and verified programs, models systems, diagnoses Lean projects, and audits trust boundaries.

    ⚙ Repair Lean proofs⚙ Develop Lean theorems⚙ Verify pure programs