tla-plus-generator
Generate and analyze TLA+ specifications for distributed systems 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.
training-data-testing
Validate ML training datasets for quality, bias, completeness, label consistency, and distribution coverage.
1.55k repo starsObserved in 2 repos
Testing & Quality
uds-diagnostics
Unified Diagnostic Services implementation and validation expertise
1.55k repo starsObserved in 2 repos
Testing & Quality
uvm-methodology
Deep expertise in Universal Verification Methodology (IEEE 1800.2) for FPGA verification
1.55k repo starsObserved in 2 repos
Testing & Quality
verification-suite
Plan structure validation, phase completeness checks, reference integrity verification, and artifact existence confirmation. Provides the structured verification layer ensuring GSD artifacts are well-formed and complete.
1.55k repo starsObserved in 2 repos
Testing & Quality
visual-regression-setup
Configure visual regression testing with Percy, Chromatic, or custom screenshot comparison
1.55k repo starsObserved in 2 repos
Testing & Quality
wpf-high-dpi-analyzer
Analyze and fix WPF applications for high DPI support, per-monitor DPI awareness, and scaling issues
1.55k repo starsObserved in 2 repos
Testing & Quality
xctest-ui-test-generator
Generate XCTest UI tests for macOS applications with accessibility identifiers and page object patterns
1.55k repo starsObserved in 2 repos
Testing & Quality
abstract-domain-library
Library of abstract domains for static analysis and abstract interpretation
1.55k repo starsObserved in 1 repos
Testing & Quality