
mutation-testing
trailofbits/skillsSummary
Configures mewt or muton mutation testing campaigns — scopes targets, tunes timeouts, and optimizes long-running runs. Use when the user mentions mewt, muton, mutation testing, or wants to configure or optimize a mutation testing campaign.
SKILL.md
{
"name": "mutation-testing",
"version": "1.0.0",
"description": "Configures mewt or muton mutation testing campaigns — scopes targets, tunes timeouts, and optimizes long-running runs. Use when the user mentions mewt, muton, mutation testing, or wants to configure or optimize a mutation testing campaign.",
"author": {
"name": "Trail of Bits",
"email": "opensource@trailofbits.com",
"url": "https://github.com/trailofbits"
}
}Recommended skills
Browse all →Claude Plugin
property-based-testing
Property-based testing guidance for multiple languages and smart contracts
Claude Plugin
skill-improver
Automatically reviews and fixes Claude Code skills through iterative refinement until they meet quality standards. Requires plugin-dev plugin.
Claude Plugin
angelos-symbo
Use this agent when you need to create or convert prompts using the SYMBO (symbolic) notation system. This agent MUST be activated whenever generating SYMBO prompts or converting existing prompts to symbolic format. Examples:
