๐Ÿงช
QualityPython

Behavioral Mutation Analyzer

by ArabelaTso

Behavioral Mutation Analyzer is a Quality skill for Claude Code, published by ArabelaTso in Skills-4-SE.

247 stars23 forkson ArabelaTso/Skills-4-SEAdded 2026/09/02+4% in starsRepository updated 2026/08/21
claudeclaude-codeclaude-skillsmetaprogrammingsoftware-developmentsoftware-engineering
Install in seconds
Install Behavioral Mutation Analyzer
Copy Behavioral Mutation Analyzer into your Claude Code skills folder. Run the command in your terminal, or review the source on GitHub before installing.
terminal
npx degit https://github.com/ArabelaTso/Skills-4-SE/tree/main/skills/behavioral-mutation-analyzer ~/.claude/skills/behavioral-mutation-analyzer

Requires Node.js. Downloads this skill only โ€” not the rest of the repository โ€” into your Claude Code skills folder.

Without Node.js

git clone https://github.com/ArabelaTso/Skills-4-SE.git

Clones the whole repository, then copy the skillโ€™s own directory into your skills folder yourself.

In this catalog

Source file
skills/behavioral-mutation-analyzer/SKILL.md in ArabelaTso/Skills-4-SE
Installs to
~/.claude/skills/behavioral-mutation-analyzer
Collection
One of 25 skills cataloged from this repository
Category
Quality โ€” 1418 skills

What Behavioral Mutation Analyzer does

Behavioral Mutation Analyzer reviews surviving mutants from mutation testing to find why tests missed them. It identifies coverage gaps, weak assertions, edge cases, and equivalent mutants, then suggests test improvements and new cases.

Behavioral Mutation Analyzer is cataloged under Quality on DirSkills. Behavioral Mutation Analyzer comes from a repository tagged claude, claude-code, claude-skills, metaprogramming and software-development.

Documentation

README

Behavioral Mutation Analyzer

Overview

This skill systematically analyzes surviving mutants from mutation testing to understand test suite weaknesses and automatically generate improvements. It identifies why mutants survived, categorizes root causes, and produces actionable test enhancements to increase mutation detection rates.

Analysis Workflow

Step 1: Input Collection and Validation

Gather required inputs and verify completeness:

Required Inputs:

  • Repository source code (path or files)
  • Test suite (test files and framework)
  • Mutation testing results (report file or data)

Mutation Result Formats:

  • PIT (Java): XML or HTML reports
  • Stryker (JavaScript/TypeScript): JSON reports
  • mutmut (Python): result files
  • Pitest, Infection (PHP), Cosmic Ray, etc.

This is the opening of the README. Read the full README on GitHub.

Frequently asked about Behavioral Mutation Analyzer

  • What else does ArabelaTso publish alongside Behavioral Mutation Analyzer?

    Behavioral Mutation Analyzer is one of 25 skills that DirSkills catalogs from ArabelaTso/Skills-4-SE, the repository it ships in. Its siblings there include ACSL Annotation Assistant, API Design Assistant and API Documentation Generator. Each one is a separate skill with its own page in this directory, installs the same way Behavioral Mutation Analyzer does, and is maintained by ArabelaTso in that same repository. The rest of the collection is listed on the ArabelaTso/Skills-4-SE page.

  • How does Behavioral Mutation Analyzer compare to other Quality skills?

    Behavioral Mutation Analyzer ranks #1307 by stars among the 1418 Quality skills in this catalog. The most-starred ones next to it are Benchmark, Benchmark Optimization Loop and API Design Patterns. DirSkills ranks by the star count of the repository each skill ships in, so that order reflects how popular those repositories are rather than any review of Behavioral Mutation Analyzer against them. Open each page to compare what they document and how they install.

More from ArabelaTso/Skills-4-SE

Behavioral Mutation Analyzer is one of 25 skills cataloged on DirSkills from ArabelaTso/Skills-4-SE.

See all 25 skills โ†’
๐Ÿงพ
1h ago

ACSL Annotation Assistant

ACSL Annotation Assistant creates ACSL contracts, loop invariants, assertions, and memory-safety specifications for C/C++ programs. Use it when preparing code for Frama-C or other formal verification workflows.
Quality
24723
๐Ÿงฉ
1h ago

API Design Assistant

API Design Assistant helps design and review REST APIs by suggesting endpoints, parameters, schemas, authentication, pagination, and versioning. It is used for API planning, documentation, OpenAPI specs, and implementation guidance.
AI Engineering
24723
๐Ÿ“˜
1h ago

API Documentation Generator

API Documentation Generator analyzes repository sources like OpenAPI specs, code comments, and existing docs to produce endpoint references, schemas, auth details, and examples. Use it when documenting an API or creating reference docs from a codebase.
Writing
24723
๐Ÿ”
1h ago

Abstract Domain Explorer

Abstract Domain Explorer applies abstract interpretation to statically analyze programs and infer invariants, value ranges, and variable relationships. Use it to study loops, check safety properties, and detect issues like division by zero without running code.
Quality
24723
๐Ÿง 
1h ago

Abstract Invariant Generator

Abstract Invariant Generator infers loop invariants, preconditions, and postconditions from code using abstract interpretation. Use it when adding formal specifications or verification conditions in Dafny, Isabelle, Coq, ACSL, and similar systems.
AI Engineering
24723
๐Ÿ”Ž
1h ago

Abstract State Analyzer

Abstract State Analyzer performs static abstract interpretation to infer possible program states, value ranges, and data properties without running code. Use it to find likely runtime errors such as out-of-bounds access, null dereferences, division by zero, type inconsistencies, and integer overflow.
Quality
24723