Skill UI

Guides developers through when and how to apply property-based testing across serializers, validators, normalizers, and smart contracts, highlighting properties, priorities, and workflow steps that complement existing unit testing efforts.

Document outlines testing strategies such as contract, snapshot, mutation, property-based, integration with containers, and disciplined test organization to help teams design reliable suites that cover behavior, API contracts, and invariants.

A comprehensive guide to writing reliable and maintainable tests for Kotlin projects. This skill covers modern testing patterns using Kotest for various spec styles (FunSpec, BehaviorSpec), MockK for dependency mocking, and enforces TDD principles (RED/GREEN/REFACTOR). Learn how to implement unit tests, property-based testing, and ensure high code coverage with Kover.

A comprehensive guide to writing robust and maintainable tests in Rust. It covers various advanced testing patterns, including Unit, Integration, Async, and Property-Based testing. Learn how to apply the TDD (Test-Driven Development) cycle (RED-GREEN-REFACTOR) to enhance code reliability and ensure high code coverage.

This skill safely randomizes the order of repetitive JSON objects within an array without corrupting the data or breaking the JSON syntax. It acts as a data engineer, rigorously validating the input schema (checking for property consistency and lack of nesting) before performing the shuffle. It ensures data integrity is maintained while reordering records, making it ideal for testing, simulation, or data preparation workflows.

A comprehensive guide and implementation for configuring the CI/CD pipeline for AppFolio property management APIs. It utilizes a two-tier testing strategy: fast, mocked unit tests for quick feedback, and slower integration tests running against the AppFolio sandbox environment on main branch merges. This ensures robust validation of API interactions and prevents contract drift before production.

This comprehensive playbook details advanced techniques for detecting Prototype Pollution vulnerabilities in JavaScript environments (Node.js and browser). It covers various attack vectors, including using `__proto__` and `constructor.prototype` paths, and provides black-box testing payloads for JSON parsing, query string merging, and deep object assignment. Use this when analyzing applications for potential Remote Code Execution (RCE) or unintended property leakage via object merging sinks.

Comprehensive patterns and tools for writing robust tests for F# applications within the modern .NET ecosystem. This guide covers unit testing (xUnit, FsUnit), property-based testing (FsCheck), mocking dependencies (NSubstitute), and full integration testing (WebApplicationFactory). Ideal for improving test coverage, validating complex business logic, and establishing a resilient testing infrastructure.

A comprehensive, pre-deployment, defense-in-depth security audit tool for Solidity smart contracts built with Foundry. It combines static analysis (Slither, Aderyn), symbolic execution (Mythril), property-based fuzz testing, and key hygiene checks to proactively detect critical vulnerabilities like reentrancy, access control flaws, and arithmetic bugs before deployment to any EVM chain.

Comprehensive patterns and tools for writing robust tests for F# applications within the modern .NET ecosystem. This guide covers unit testing (xUnit, FsUnit), property-based testing (FsCheck), mocking dependencies (NSubstitute), and full integration testing (WebApplicationFactory). Ideal for improving test coverage, validating complex business logic, and establishing a resilient testing infrastructure.

This comprehensive guide covers advanced Kotlin testing patterns using industry-standard tools like Kotest and MockK. It details the entire TDD workflow (Red-Green-Refactor), property-based testing, coroutines testing, and code coverage configuration with Kover. Ideal for developers looking to write robust, maintainable, and scalable Kotlin codebases.

This guide provides comprehensive patterns for writing reliable and maintainable tests in Rust, adhering to the TDD methodology. It covers unit testing, integration testing, asynchronous programming with Tokio, property-based testing, mocking, and robust error/panic handling. Ideal for developers looking to elevate their Rust code quality and coverage.