model-checker-interface
Interface with multiple model checking tools for formal 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.
mythril-symbolic
Symbolic execution analysis using Mythril for deep vulnerability detection in smart contracts. Supports configurable transaction depth, timeout settings, and proof-of-concept exploit generation.
1.55k repo starsObserved in 2 repos
Testing & Quality
network-testing
Comprehensive network testing, benchmarking, and performance validation skill
1.55k repo starsObserved in 2 repos
Testing & Quality
nsight-profiler
Expert skill for NVIDIA Nsight Systems and Nsight Compute profiling tools. Configure profiling sessions, analyze kernel reports, interpret occupancy metrics, roofline model data, memory bandwidth bottlenecks, and warp execution efficiency.
1.55k repo starsObserved in 2 repos
Testing & Quality
openapi-validator
Validate OpenAPI specifications for correctness, security, and best practices
1.55k repo starsObserved in 2 repos
Testing & Quality
optimization-correctness-verifier
Verify correctness of compiler optimizations using formal methods
1.55k repo starsObserved in 2 repos
Testing & Quality
pact-contract-testing
Consumer-driven contract testing with Pact framework. Generate consumer contracts, configure Pact Broker publishing, execute provider verification, detect breaking changes, and integrate with CI/CD pipelines.
1.55k repo starsObserved in 2 repos
Testing & Quality
Percy Visual Testing
Percy visual testing platform integration for visual regression detection
1.55k repo starsObserved in 2 repos
Testing & Quality
performance-baseline-capturer
Capture performance baselines before migration for regression comparison and SLA verification
1.55k repo starsObserved in 2 repos
Testing & Quality