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.
99 skills found
Automated guidance for implementing property-based testing (PBT) in software and smart contracts to improve test coverage and edge case detection.
Perform network protocol reverse engineering, including packet capture, traffic analysis, protocol dissection, and custom format documentation.
A systematic code auditing framework for identifying technical debt, security vulnerabilities, dead code, and code quality issues in software projects.
Profiles application performance using k6, Artillery, or JMeter to measure latency, throughput, and error rates. Ideal for planning load, stress, and soak tests to identify bottlenecks.
Audit AI skills for security vulnerabilities including prompt injection, hidden instructions, tool misuse, and data exfiltration risks.
Verifies blockchain smart contract code against technical specifications, whitepapers, and design documents to ensure exact implementation compliance.
Generate incident response timelines and structured report packs from event logs to facilitate efficient detection-to-recovery tracking.
Validate test suite effectiveness and uncover weak assertions by introducing code mutations and measuring kill rates. Essential for proving tests genuinely catch bugs rather than just satisfying coverage metrics.
Orchestrate cross-browser, cross-device, and responsive design testing using cloud providers like BrowserStack and Playwright to ensure consistent user experiences.
Specialized QA testing agent for morphir-dotnet, covering test plans, regression, E2E verification, bug reporting, and package validation.
Pre-execution security guardrails for AI agents. Validates shell commands and file reads against 400+ security patterns to block destructive operations, credential theft, and unauthorized system access.
Audit outbound network requests and detect data exfiltration patterns in OpenClaw skills to ensure secure outbound communication.