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.
178 skills found
Automated guidance for implementing property-based testing (PBT) in software and smart contracts to improve test coverage and edge case detection.
A specialized decision-making agent for complex architectural choices, task planning, and error resolution within the orchestration system.
A structured prompting framework to transform casual inputs into professional, modular LLM prompts with persona, context, task, format, and guardrails.
Provides data-driven trading strategies for cryptocurrencies using Binance market data, technical analysis indicators, and aggregated crypto market sentiment.
Synchronize English README.md with Chinese README_ZH.md, maintaining content parity and structural consistency for bilingual documentation projects.
Generate publication-quality statistical plots from CSV or JSON data files using AI-driven automated visualization.
Draft and format scientific manuscripts using IMRAD structure, major citation styles (APA, AMA, Vancouver), and standardized reporting guidelines (CONSORT, STROBE, PRISMA).
Implement LlamaExtract for robust structured data extraction from PDF, DOCX, and PPTX files using Pydantic schemas.
Implement adaptive learning with ReasoningBank for pattern recognition, strategy optimization, and continuous improvement in AI agents.
Official documentation skill for Shipany, an AI-powered SaaS boilerplate. Provides expert guidance on Next.js 15, Drizzle ORM, NextAuth, and payment integrations.
Nonlinear optimization toolkit using CasADi and IPOPT. Ideal for building complex NLP models, defining symbolic variables, constraints, and solvers, with specialized support for power systems optimization patterns.
Systematic methodology for reproducing published academic papers using provided data, including sample selection, statistical verification, and automated reporting.