audit-coverage-gaps
Discover test coverage gaps that could hide correctness defects
17.75k repo starsObserved in 1 repos
Testing & Quality
Testing & Quality skills
Browse reusable Agent Skills, each with a clear purpose and practical guidance.
audit-exception-safety
Audit exception safety and failure atomicity across all throw sites
17.75k repo starsObserved in 1 repos
Testing & Quality
audit-feature-interaction
Analyze feature interaction pairs and triples for concurrent defects
17.75k repo starsObserved in 1 repos
Testing & Quality
audit-iteration
Analyze concurrent iteration and view consistency guarantees
17.75k repo starsObserved in 1 repos
Testing & Quality
audit-jcache-conformance
JSR-107 (JCache) spec-conformance audit
17.75k repo starsObserved in 1 repos
Testing & Quality
audit-lifecycle
Analyze shutdown, close, and GC-of-cache lifecycle correctness
17.75k repo starsObserved in 1 repos
Testing & Quality
audit-linearizability
Analyze the cache for linearizability violations across all public methods
17.75k repo starsObserved in 1 repos
Testing & Quality
audit-liveness
Analyze the cache for liveness defects (progress, termination, starvation)
17.75k repo starsObserved in 1 repos
Testing & Quality
audit-map-contract
Audit ConcurrentMap and Map contract compliance for asMap() view
17.75k repo starsObserved in 1 repos
Testing & Quality