Find the edge-case bugs your example tests miss, with property tests

Claude writes property tests for your Python code with Trail of Bits' skill and reports only the bugs a failing test proves. Plain code checks the tests can fail and every claim is real.

Our run, 2026-10-03. All 23 example tests passed. Claude's property tests pinned ₹1 crore: format_inr printed it as ₹1,0,00,000.00, and parse_inr read that back as ₹10 lakh. The check proved it with a failing test.