audit-contract-drift
Find places where documented API contracts and the implementation diverge
17.75k repo starsObserved in 1 repos
Testing & Quality
Find the skill for your next task.
Browse reusable Agent Skills, each with a clear purpose and practical guidance.
audit-correctness-proof
Attempt formal correctness proofs for all public cache methods
17.75k repo starsObserved in 1 repos
Testing & Quality
audit-coverage-gaps
Discover test coverage gaps that could hide correctness defects
17.75k repo starsObserved in 1 repos
Testing & Quality
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