Reproduce it.
The saved-cart example starts with two failing tests.
Deep Debug is in beta in Winskel. The example below is a recorded development run, not your project.
Beta
Use your existing eligible Claude Code or Codex subscription. Provider usage limits still apply.Current Beta · Free · Apple Silicon, macOS 12 or later
The saved-cart example starts with two failing tests.
One saved quantity was read under the wrong name. One line changed.
The same two tests passed after the fix. App behavior was not checked.
Yes, in beta, from Beta 35. Choose Deep Debug for a hard bug: Winskel reproduces the failure, looks for the cause, repairs it and checks the original failure again. If it cannot reproduce the bug, it says so. The example on this page is recorded development evidence, not a live result for your project.
Free includes 10 Deep Debug uses per calendar month. Pro is available at US$20/month, or US$180/year (US$15/month billed annually), plus applicable tax, with unlimited Deep Debug uses, subject to provider limits. Quality automation features remain coming soon.