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

Browse skills that share this tag.

  • tw-invariant-ace - Define and enforce inductive invariants at code boundaries
    invariantsvalidationconcurrencycorrectness

    ★ 8 · Updated 2026-09-23

    Enforces inductive invariants at boundaries to turn impossible states into unrepresentable code paths with verification signals.

    ⚙ Define owned inductive invariants⚙ Construct concrete counterexample traces⚙ Encode enforcement at system boundaries
  • codereview-correctness - Code Review Correctness Analysis
    code reviewcorrectnessstatic analysisbug detection

    ★ 7 · Updated 2026-03-24

    Analyze code for logic bugs, error handling, and edge cases

    ⚙ Analyze code⚙ Detect logic bugs⚙ Check edge cases
  • team-review - Unified Team Code Review Skill
    multi-agentcode reviewpipelineautomated scan

    ★ 558 · Updated 2026-03-19

    Orchestrate multi-agent code review pipeline with scanner, reviewer, and fixer roles

    ⚙ scan code⚙ review code⚙ fix code
  • code-quality - Code Quality Guide: Rust Correctness Rules and Best Practices
    code-qualityrustbest-practicesproduction

    ★ 18 · Updated 2026-02-12

    Provides code quality rules, Rust patterns, and guidelines for writing correct production code

    ⚙ check code correctness⚙ enforce Rust patterns⚙ validate edge cases