property-based-testing
Automated guidance for implementing property-based testing (PBT) in software and smart contracts to improve test coverage and edge case detection.
Discover reusable agent skills, browse implementation details, and find the right skill for your workflow.
150 skills found
Automated guidance for implementing property-based testing (PBT) in software and smart contracts to improve test coverage and edge case detection.
Generate production-ready Cloudscape Design System React + TypeScript UI code, components, and scaffolds with accessibility, responsive patterns, and robust state handling.
Safely execute, test, and verify commands discovered in documentation with real output capture, performance tracking, and git-aware safety protocols.
Guidance on frontend state management, including global stores like Zustand/Pinia, server state via TanStack Query, and URL state handling.
Development guide for Arma Reforger EnforceScript, covering component architecture, network replication, persistence, and memory management.
Design and document REST or GraphQL APIs, including endpoint definitions, pagination, filtering, versioning, and OpenAPI/Swagger specifications.
Expert guidance for SolidStart server runtime, including request events, middleware, server functions, and API architecture.
Implementation guide for Prisma v7 SQL driver adapters, covering SqlDriverAdapter, transaction protocols, error mapping, and verification contracts.
Test-driven development (TDD) workflow for Spring Boot applications using JUnit 5, Mockito, MockMvc, and Testcontainers.
Build and manage MCP servers using the FastMCP framework. Guide for creating tools, resources, prompts, Claude Desktop integration, and deployment with Python and TypeScript.
Jest testing patterns, factory functions, mocking strategies, and TDD workflow. Use when writing unit tests, creating test factories, or following TDD red-green-refactor cycle.
Fast-reference guide and utility skill for Helm chart development, template syntax, and Kubernetes application deployment.