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: Build logs

Browse skills that use this input.

  • debugging-instruments - Debug and profile iOS applications
    iOS debuggingLLDBInstrumentsmemory leaks

    ★ 0 · Updated 2026-10-03

    Diagnose iOS crashes, memory issues, hangs, build failures, and performance problems with LLDB, Memory Graph Debugger, and Instruments.

    ⚙ Inspect LLDB values⚙ Manage breakpoints⚙ Evaluate runtime expressions
  • smtprofiling - Profile and stabilize F* proofs with Z3
    F*Z3SMTproof debugging

    ★ 11 · Updated 2026-09-30

    Diagnoses F* proof failures and performance issues by collecting SMT queries, profiling Z3 quantifiers, and tuning verification settings.

    ⚙ Collect isolated SMT queries⚙ Run SMT queries in Z3⚙ Profile quantifier instantiations
  • systematic-debugging - Systematic debugging for technical issues
    debuggingroot-cause-analysistroubleshootingtesting

    ★ 65 · Updated 2026-06-15

    Four-phase process to find root causes before fixing bugs and technical issues

    ⚙ Read error messages⚙ Reproduce bugs⚙ Check recent changes