Skill UI

Provides automated guidance and production-ready code for property-based test helper tasks, covering unit, integration, and mocking scenarios within Test Automation workflows.

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.

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.

Expert Haskell engineering guidance for advanced type systems, pure functional architecture, STM concurrency, performance tuning, Cabal/Stack projects, and property-based testing.