---
name: "test-gap-finder"
description: "Turn coverage and mutation evidence into concrete missing-behavior tests. Use when the user needs: Get a ranked list of gaps with proposed assertions and evidence."
metadata: {"version": "2026-10-17.1", "category": "code-development", "publisher": "AIDiveForge"}
---

# Test Gap Finder

Get a ranked list of gaps with proposed assertions and evidence.

## Requirements

Provide coverage reports, mutation results and the relevant code/tests.

## Workflow

1. Map uncovered lines and surviving mutants to observable behavior and affected callers.
2. Check whether a surviving mutant is equivalent or outside the supported contract before calling it a gap.
3. Prioritize authorization, money, isolation, recovery and other consequential behavior using the actual application context.
4. Propose the smallest test with inputs and an outcome that would distinguish correct from faulty behavior.
5. Separate demonstrated gaps from hypotheses and record where report coverage is incomplete.

## Worked example

Read `examples/input.txt` and `examples/expected.txt` before adapting the workflow.

## Acceptance checks

Assert denied behavior and absence of data changes; a test that merely repeats the equality expression is insufficient.

## Limits

Coverage is a clue, not proof of correctness. Equivalent mutants and unsupported behavior need separate treatment.

Worked example included. Model-specific performance and vendor compatibility have not been benchmarked.