What problem does it solve? Existing cryptographic test vector suites often leave implementation code paths unexercised, and there is no systematic way to know which paths are uncovered. This Skill uses mutation testing to find escaped mutants, then generates new test vectors that deliberately target those gaps, proving effectiveness with before/after kill-rate comparisons. ## Core Features & Use Cases - Mutation-Driven Gap Analysis: Runs mutation testing (gremlins, cargo-mutants, mutmut, Mull, Stryker) against implementations to establish a baseline and identify survived or uncovered mutants. - Graph-Informed Triage: Uses Trailmark call graphs to classify escaped mutants by reachability, blast radius, and security priority, filtering out false positives like equivalent mutations and cross-package coverage artifacts. - Targeted Vector Generation: Produces Wycheproof-format JSON vectors including single-fault negative vectors, roundtrip assertions, and fault-simulation vectors from limb-width reimplementations, cross-verified against at least two independent implementations. - Use Case: When auditing BLS12-381 implementations, run the workflow to discover that flag-validation mutations survive existing vectors, then generate single-defect negative vectors that kill those mutants and document the kill-rate delta in a structured report. ## Quick Start Use the vector-forge skill to run mutation testing on my BLS12-381 implementation and generate new Wycheproof test vectors for any escaped mutants.
