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: Formalized proof

Browse skills that produce this output.

  • 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