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: theorem-proving

Browse skills that share this tag.

  • lean4-proof - Complete Lean 4 mathematical proofs for sequences.
    lean4theorem-provingmathematicssequences

    ★ 13 · Updated 2026-09-14

    Completes Lean 4 mathematical proofs for sequences and convergence, ensuring type checking passes without warnings.

    ⚙ Complete Lean 4 mathematical proofs⚙ Prove sequence and series properties⚙ Verify proofs with Lean toolchain
  • numina-lean-agent - Lean 4 Theorem Proving Toolkit
    lean4theorem-provingformal-verification

    ★ 273 · Updated 2026-09-09

    Lean 4 theorem proving toolkit to search lemmas, verify proofs, repair code, and generate informal proofs.

    ⚙ Search lemmas⚙ Verify proofs⚙ Disprove statements
  • 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