★ 129 · Updated 2026-06-15
Structured method for finding root causes before applying fixes
Browse skills that produce this output.
★ 129 · Updated 2026-06-15
Structured method for finding root causes before applying fixes
★ 393 · Updated 2026-03-25
Write tests that fail against real bugs without modifying codebase
★ 650 · Updated 2026-03-20
Bit-precise model checker for Rust that exhaustively verifies code properties including memory safety and undefined behavior.
★ 291,683 · Updated 2026-02-09
Find root causes of bugs and failures before attempting fixes