prove-correctness

What problem does it solve?

This Skill addresses the challenge of verifying code correctness by systematically generating tests and evidence to either prove or disprove specific claims about its behavior.

Core Features & Use Cases

• Claim Verification: Design tests to confirm or refute assertions about code properties (e.g., "this function never returns nil").
• Property-Based Testing: Utilize frameworks to test invariants across a wide range of inputs.
• Disproving Bugs: Identify concrete counterexamples that demonstrate a claim is false, pinpointing bugs.
• Use Case: When a developer claims a complex algorithm is "always stable," this skill can generate tests to rigorously challenge that claim, focusing on edge cases and unexpected inputs.

Quick Start

Use the prove-correctness skill to write tests that prove the claim that the 'calculate_discount' function never returns a negative value.