Verify Claude's claim that tests are passing. Use this skill when the user wants to know whether a recent "all tests pass" or "feature complete" statement was honest, or when the user mentions Claude lied about completion. Reads the most recent test output from the conversation transcript and surfaces any discrepancy between what Claude claimed and what the test runner actually reported. Auto-triggered by a Stop hook whenever Claude makes a test-pass claim in its final message.
How to install done-prover?
dhruba-datta/claude-papercuts/done-prover
$npx -y skills add dhruba-datta/claude-papercuts --skill done-proverInstalls into the current project.
›Prefer a prompt? Paste this to your agent
Run `npx skills use "https://github.com/dhruba-datta/claude-papercuts" --skill "dhruba-datta/claude-papercuts/done-prover"` and follow the generated skill instructions now. Read its complete output, redirecting it to a temporary file first if necessary. Resolve relative paths from the supporting-files directory it provides.
Use the skills in "https://github.com/dhruba-datta/claude-papercuts" that are relevant to the current task. Run `npx skills add "https://github.com/dhruba-datta/claude-papercuts"` and select the relevant skills, then follow their instructions.
Related
6 picksType
- tddTest-driven development. Use when the user wants to build features or fix bugs test-first, mentions "red-green-refactor", or wants integration tests.Jul 2026
- test-driven-developmentUse when implementing any feature or bugfix, before writing implementation codeJul 2026
- qaInteractive QA session where user reports bugs or issues conversationally, and the agent files GitHub issues.Jul 2026
- verification-before-completionUse when about to claim work is complete, fixed, or passing, before committing or creating PRs - requires running verification commands and confirming output…Jul 2026
- webapp-testingToolkit for interacting with and testing local web applications using Playwright.Jul 2026
- playwright-best-practicesUse when writing Playwright tests, fixing flaky tests, debugging failures, implementing Page Object Model, configuring CI/CD, optimizing performance, mocking…Jul 2026
