LogoClawIndex
CasesSkillsAbout
LogoClawIndex

invariant-test-review - Review Tests for Invariant Proof Validity

Verify tests prove their claimed invariants by checking setup, assertions, and comparators for hidden weaknesses

Tags

Updated: 2026-03-22
testingtest-reviewinvariantstate-machinequality-assurance

Capabilities

review test filesreview test functionsidentify claimed invariantsaudit observation surfaces

Typical Inputs

test file pathtest function nameworking tree

Typical Outputs

review report with findingsrecommended test rewriteseverity classifications

What this skill does

  • review test files
  • review test functions
  • identify claimed invariants
  • audit observation surfaces
  • add discriminating twins
  • audit oracle semantics
  • confirm failure modes
  • classify findings by severity

Inputs

  • test file path
  • test function name
  • working tree

Outputs

  • review report with findings
  • recommended test rewrite
  • severity classifications

Requirements

  • Rust test environment
  • test file access

Source

  • Spec: SKILL.md

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.