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 input: Lean 4 InfoTree

Browse skills that use this input.

  • paperproof-validator - Formal Proof Visualization and Verification for Lean 4
    formal verificationproof visualizationLean 4theorem proving

    ★ 64 · Updated 2026-02-11

    Transforms formal Lean 4 proofs into intuitive, paper-like visualizations

    ⚙ visualize proof structure⚙ extract proof metadata⚙ validate proof correctness