hypothesis-driven-debugging

@dotnet/hypothesis-driven-debugging

dotnet

4,234

844 forks

Updated 1/19/2026

View on GitHub

Investigate compiler failures, test errors, or unexpected behavior through systematic minimal reproduction, 3-hypothesis testing, and verification. Always re-run builds and tests after changes.

Installation

$skills install @dotnet/hypothesis-driven-debugging

Claude Code

Cursor

Copilot

Codex

Antigravity

Details

Repositorydotnet/fsharp

Path.github/skills/hypothesis-driven-debugging/SKILL.md

Branchmain

Scoped Name@dotnet/hypothesis-driven-debugging

Usage

After installing, this skill will be available to your AI coding assistant.

Verify installation:

skills list

More by dotnet

View all

verify-tests-fail-without-fix

23,139

Verifies UI tests catch the bug. Supports two modes - verify failure only (test creation) or full verification (test + fix validation).

write-tests

23,139

Creates UI tests for a GitHub issue and verifies they reproduce the bug. Iterates until tests actually fail (proving they catch the issue). Use when PR lacks tests or tests need to be created for an issue.

try-fix

23,139

Proposes ONE independent fix approach, applies it, runs tests, records result with failure analysis in state file, then reverts. Reads prior attempts to learn from failures. Returns exhausted=true when no more ideas. Max 5 attempts per session.

find-reviewable-pr

23,139

Finds open PRs in the dotnet/maui and dotnet/docs-maui repositories that are good candidates for review, prioritizing by milestone, priority labels, partner/community status.