lading-optimize-validate
OfficialValidate bugs with tests and prove fixes.
AuthorDataDog
Version1.0.0
Installs0
System Documentation
What problem does it solve?
This Skill ensures bugs discovered during optimization hunting are thoroughly validated with reproducible tests and regression checks, providing an auditable path from discovery to verified fixes.
Core Features & Use Cases
- Property tests (proptest) to capture invariants and reproduce bugs across inputs.
- Kani proofs when feasible to provide exhaustive verification of critical paths.
- Validation workflow includes documenting, recording, and updating assets/db.yaml to track validated fixes and enable team review.
Quick Start
Run the skill to validate a discovered bug by generating property tests and attempting Kani proofs. Then review the generated tests and, if feasible, add a Kani proof and a regression test to assets/db.yaml.
Dependency Matrix
Required Modules
None requiredComponents
Standard package💻 Claude Code Installation
Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.
Please help me install this Skill: Name: lading-optimize-validate Download link: https://github.com/DataDog/lading/archive/main.zip#lading-optimize-validate Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
Agent Skills Search Helper
Install a tiny helper to your Agent, search and equip skill from 223,000+ vetted skills library on demand.