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.
567 skills found
Automated guidance for implementing property-based testing (PBT) in software and smart contracts to improve test coverage and edge case detection.
Analyze Kubernetes controller code to generate contract-compliant dependency graph artifacts for the Kamera coverage strategy.
Foundry development guide for CMTAT RuleEngine contracts, including testing, deployment scripts, and project-specific Solidity patterns.
A rigorous, four-phase methodology to enforce systematic root cause analysis before applying any code fixes.
AI-optimized artifact tracking system for token-efficient project orchestration, phase management, and automated task delegation using YAML-Markdown hybrid formats.
Techniques for writing effective fuzzing harnesses across languages. Use when creating new fuzz targets or improving existing harness code.
Automated migration workflow from legacy Crowi (Express/Swig) to modern architecture (Next.js 16/Fastify/ts-rest).
Method-driven planning workflow that intelligently decomposes tasks into structured plan.md files using zen-mcp tools, adapting to user clarity and automation needs.
Cascading goal tracking system connecting 3-year vision to daily tasks. Automates progress calculation, stalled goal detection, and project-to-goal alignment for Obsidian vaults.
Expert AWS solution architecture for startups focusing on serverless, scalable, and cost-effective cloud infrastructure with modern DevOps practices and IaC.
Strategic test data generation, management, and privacy compliance for scalable, secure, and realistic quality engineering workflows.
Anthropic Claude integration patterns: streaming, RAG with pgvector, tool use, model selection (Haiku/Sonnet/Opus), prompt caching, and cost management for AI-powered engineering.