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

Browse skills that use this input.

  • 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
  • multi-agent-integration - Integrate Claude Agents into Trading
    multi-agenttradingClaudeAI agents

    ★ 602 · Updated 2026-06-15

    Integrate Claude agents into training and live trading

    ⚙ evaluate trading signals⚙ check risk gates⚙ recommend position sizes