vector-forge
OfficialGenerate cryptographic test vectors through mutation testing.
AuthorRedHatProductSecurity
Version1.0.0
Installs0
System Documentation
What problem does it solve?
This Skill automates the creation of cryptographic test vectors by identifying implementation gaps using mutation-driven analysis, enhancing test coverage and security assurance.
Core Features & Use Cases
- Test Vector Generation: Crafts test inputs that exercise untested code paths within cryptographic algorithms.
- Mutation Analysis: Identifies implementation weaknesses by systematically mutating code and analyzing mutants' escape.
- Use Case: Improve protocol robustness by generating edge-case vectors for signature verification or key derivation functions.
Quick Start
Use the vector-forge skill to create test vectors for the BLS12-381 signature scheme.
Dependency Matrix
Required Modules
None requiredComponents
references
💻 Claude Code Installation
Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.
Please help me install this Skill: Name: vector-forge Download link: https://github.com/RedHatProductSecurity/prodsec-skills/archive/main.zip#vector-forge Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
Agent Skills Search Helper
Install a tiny helper to your Agent, search and equip skill from 471,000+ vetted skills library on demand.