skills.rest
baphled
baphledCOMMUNITY
Explore all skills by this author →
Website𝕏@baphledGitHub

prove-correctness

Generate executable tests to prove or disprove code property claims.

1|Updated Mar 5, 2026
Search Tags:#code quality#testing#verification#test-driven development#property-based testing#proof
One-click install
npx skills add https://github.com/baphled/dotopencode --skill prove-correctness
Or copy as Structured Prompt for Agent▼
Please help me install this Agent Skill.
Skill: prove-correctness
Source: https://github.com/baphled/dotopencode/tree/main/skills/prove-correctness
Command: npx skills add https://github.com/baphled/dotopencode --skill prove-correctness

SYSTEM DOCUMENTATION & REQUIREMENTS

💡 This Skill includes references (resource) components.

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.

Frequently Asked Questions about prove-correctness

High-intent search queries and answers about installing and using this skill.

FAQPage Schema
How do I prove code correctness for specific functional properties?▼

Property-based testing validates invariants across a wide range of inputs to verify code claims. It generates executable proofs by rigorously challenging assertions about code behavior, focusing on edge cases and unexpected inputs.

How do I disprove a code claim with a concrete counterexample?▼

Disproving a code claim requires generating tests that identify concrete counterexamples demonstrating the claim is false. This Skill systematically challenges assertions about code behavior to pinpoint bugs by focusing on edge cases and unexpected inputs.

What is the best way to verify refactoring integrity using test-driven development?▼

Verifying refactoring integrity involves designing and executing tests to provide evidence that specific functional properties remain intact. This Skill generates executable proofs through example-based, property-based, and mutation testing strategies for invariants and edge cases.

Does mutation testing work for finding edge cases in complex algorithms?▼

Mutation testing works for finding edge cases by systematically generating tests to rigorously challenge claims about complex algorithm stability. This Skill focuses on generating executable proofs and identifying concrete counterexamples that demonstrate a claim is false.

Related Skills

Explore More Software Engineering Skills→
santosomarsantosomar
1

test-oracle-generator

Generate test oracles using reference implementations, invariants, and differential comparison.

Community
Intermediate
eroslifestyleeroslifestyle
1

fix

Analyze error messages, modify code, and run tests to resolve software bugs.

Community
Intermediate
tankpkgtankpkg
1

@tank/tdd-workflow

Guide developers through the RED-GREEN-REFACTOR cycle and TDD workflows.

Official
Intermediate
jorgealvesjorgealves
2

python-type-hints-converter

Analyze Python source files and insert inferred type annotations.

Community
Intermediate