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.
160 skills found
Automated guidance for implementing property-based testing (PBT) in software and smart contracts to improve test coverage and edge case detection.
Extract and document authentic writing voice from samples. Create comprehensive voice guides for AI training, ghostwriting, and brand consistency.
Intelligent orchestration for dispatching tasks to specialized background agents with performance-based routing and execution tracking.
A comprehensive automation skill for Cosense (formerly Scrapbox) enabling page reading, searching, creating, and safe editing via API.
Analyze local system hardware (RAM, CPU, GPU/VRAM) to receive expert recommendations for optimized local LLM models, quantization settings, and performance estimates.
A systematic, multi-angle web research agent. Use for deep investigation, complex queries, and as a mandatory pre-research step before content generation to ensure evidence-backed, high-quality results.
Enforce strict code quality, correctness, and Rust design patterns for the Turso database, prioritizing data integrity, performance, and maintainable, idiomatic code.
Analyze and identify codebase patterns (naming, architecture, testing) to maintain consistency and enforce standards during development.
Explains complex concepts using master teaching frameworks like Feynman, Socratic, and Cognitive Load theory to ensure deep, clear understanding.
Extracts mathematical content like definitions, theorems, and proofs from documents (PDF, MD, TEX, TXT) using AI-based cleaning and conversion.
A versatile data analysis assistant for loading datasets, performing statistical calculations, visualizing trends, and generating professional summary reports.
Data Analysis Specialist for EDA, statistical modeling, SQL queries, and Python-based visualization. Turn raw datasets into actionable insights through rigorous quantitative methods.