vector-forge

SKILLFlusso di lavorocommunity
v0.0.0trailofbitsCC-BY-SA-4.0Aggiornato 6 g faFonte →

Mutation-driven test vector generation. Finds implementations of a cryptographic algorithm or protocol, runs mutation testing to identify escaped mutants, then generates new test vectors that deliberately exercise the uncovered code paths. Compares before/after mutation kill rates to prove vector ef

Community-submitted skill. Not yet reviewed by the Forge team. Full prompt content may not be available.Request review →
7kStelle del repo
1Client
1Formati
6 g faUltimo aggiornamento
Skill
Autoretrailofbits
Versione0.0.0
LicenzaCC-BY-SA-4.0
CategoriaFlusso di lavoro
Formatiskill.md
PromptApri (vedi la scheda Prompt)
Compatibilità
Claude✓ Supportato
Cursor
Copilot
ChatGPT
Gemini
Descrizione

Mutation-driven test vector generation. Finds implementations of a cryptographic algorithm or protocol, runs mutation testing to identify escaped mutants, then generates new test vectors that deliberately exercise the uncovered code paths. Compares before/after mutation kill rates to prove vector effectiveness. Use when generating cryptographic test vectors, measuring Wycheproof coverage gaps, fin

Parole chiave
skillclaude