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.
279 skills found
Automated guidance for implementing property-based testing (PBT) in software and smart contracts to improve test coverage and edge case detection.
Open-source infrastructure for reliable, multi-destination event delivery. Route webhooks to HTTP, SQS, RabbitMQ, Pub/Sub, EventBridge, or Kafka with built-in retries and observability.
Analyze Kubernetes controller code to generate contract-compliant dependency graph artifacts for the Kamera coverage strategy.
Unified AI gateway for building full-stack apps and automating tasks. Access 100+ AI models for content generation, web scraping, app deployment, and Stripe payments with a single API key.
A CTF solver agent that performs triage on challenges, identifies the vulnerability category, and routes tasks to specialized skills for web, pwn, crypto, forensic, and reverse engineering analysis.
TailwindCSS v4 pattern library with CSS-first configuration, @theme design tokens, @source content detection, and modern CSS utilities for high-performance frontend workflows.
Comprehensive management for the Flow Nexus platform, covering user authentication, sandbox execution, app deployment, credit management, and gamified challenges.
Techniques for writing effective fuzzing harnesses across languages. Use when creating new fuzz targets or improving existing harness code.
Token-efficient codebase navigation through intelligent symbol indexing, domain chunking, and architectural layer filtering. Reduce token usage by 60-95% when exploring or developing complex systems.
Persistent, Git-friendly memory for Claude. Automatically store and retrieve project decisions, bug fixes, and coding patterns in a local .mv2 file.
Synchronize English README.md with Chinese README_ZH.md, maintaining content parity and structural consistency for bilingual documentation projects.
Specialized skill for building Vue 3 applications with TypeScript, covering Composition API, Pinia state management, Vue Router, and custom composables.