K kiro.dev Property-Based Testing Caught a Security Bug I Never Would Have Found 62 points nslog 10 months ago 38 comments