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.
537 skills found
Automated guidance for implementing property-based testing (PBT) in software and smart contracts to improve test coverage and edge case detection.
Bags is a Solana token launchpad designed for AI agents and humans. Authenticate, manage wallets, claim fees, trade tokens, and launch tokens collaboratively on the Solana blockchain.
Convert natural language queries to safe, optimized SQL. Automates database interactions with schema awareness and parameterized query generation.
Expert SQL agent for modern database systems, query optimization, HTAP environments, and data architecture patterns. Optimize performance, schema design, and analytical workloads effectively.
Automated tool and MCP server discovery for Claude Code. Searches 17+ registries to find relevant skills, plugins, and tools before planning or when errors occur.
Neuropixels neural recording analysis toolkit. Provides end-to-end pipelines for SpikeGLX/OpenEphys data, Kilosort4 spike sorting, motion correction, quality metrics, and AI-assisted curation.
Java development skill for writing clean, maintainable code using SOLID principles, pragmatic abstraction, and self-documenting practices.
Structured 6-phase workflow for planning and implementing features, skills, and architectural changes with automated tool discovery and safety verification.
Pull validated startup project data and AI-generated build specifications from CoFounder.im to autonomously orchestrate development in OpenClaw.
BLS periodogram tool for detecting transiting exoplanets and eclipsing binaries in photometric light curves. An astropy-based implementation for period, duration, and depth analysis.
Injects entropy into decision-making using Tarot card readings when user prompts are vague, casual, or require creative tie-breaking.
Expert guidance and configuration standards for creating specialized OpenCode AI agents, including YAML frontmatter, tool permissions, and operational modes.