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: Programming language constraints

Browse skills that use this input.

  • invariant-guard - Correctness-first algorithm design
    algorithmscorrectnessloop-invariantscontracts

    ★ 0 · Updated 2026-10-04

    Requires contracts, invariants, termination arguments, base cases, edge cases, and verification before producing non-trivial algorithmic code.

    ⚙ Define function contracts⚙ State loop invariants⚙ Provide termination arguments
  • invariant-guard - Correctness-first algorithm design
    algorithmscorrectnessloop invariantscontracts

    ★ 0 · Updated 2026-10-04

    Requires contracts, invariants, termination arguments, base cases, and edge-case analysis before producing or reviewing algorithmic code.

    ⚙ State function contracts⚙ Write loop invariants⚙ Prove termination measures