sva-assertions
Specialized skill for creating and debugging SystemVerilog assertions for FPGA verification
1.55k repo starsObserved in 2 repos
Testing & Quality
Testing & Quality skills
Browse reusable Agent Skills, each with a clear purpose and practical guidance.
tech-stack-scanner
Automated technical architecture review, security assessment, scalability analysis
1.55k repo starsObserved in 2 repos
Testing & Quality
termination-analyzer
Prove termination of algorithms and programs using ranking functions and well-founded orderings
1.55k repo starsObserved in 2 repos
Testing & Quality
test-automation
Automated test equipment control and data acquisition skill for hardware validation, with VISA/SCPI instrument communication, test sequence scripting, and measurement uncertainty analysis.
1.55k repo starsObserved in 2 repos
Testing & Quality
test-correlation
Skill for correlating test results with analytical predictions and model validation
1.55k repo starsObserved in 2 repos
Testing & Quality
test-coverage-analyzer
Analyze test coverage and identify gaps before migration to ensure adequate safety nets
1.55k repo starsObserved in 2 repos
Testing & Quality
test-driven-development
Test-first development practice where test specifications are written before production code, integrated into plan tasks as mandatory first sub-steps.
1.55k repo starsObserved in 2 repos
Testing & Quality
test-enforcement
Automated test validation, coverage checking, and quality metrics with aggressive defaults
1.55k repo starsObserved in 2 repos
Testing & Quality
test-planning
Skill for comprehensive mechanical test plan development and execution support
1.55k repo starsObserved in 2 repos
Testing & Quality
theorem-prover-interface
Interface with interactive theorem provers for mechanized verification
1.55k repo starsObserved in 2 repos
Testing & Quality