receipts-check

Skills

1 in the Claude listing

• Prove fixProve that the tests for a code change would have caught the bug, by running every added or edited test with the change and with the old code (red/green check).