duck-proof - Prove claims and code via counterexamples and checks
Falsifies claims, executes verification checks, repairs defects, and proves completed shapes through counterexamples and evidence.
Tags
Updated: 2026-09-20Capabilities
Typical Inputs
Typical Outputs
What this skill does
- Identify disproving assumptions and counterexamples
- Execute counterexample verification checks
- Repair code at refuted levels
- Rerun affected executable checks
- Prove completed code shape
- Conclude claim statuses with evidence
Inputs
- Candidate code and diffs
- Project constraints
- Defect ledgers
- User claims and goals
Outputs
- Claim verification status verdicts
- Durable proof record files
- Local code repairs
Requirements
- Execution and repair authorization
- Git repository access