audit-liveness
Analyze the cache for liveness defects (progress, termination, starvation)
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-map-contract
Audit ConcurrentMap and Map contract compliance for asMap() view
17.75k repo starsObserved in 1 repos
Testing & Quality
audit-memory-retention
Analyze reference retention paths that prevent GC of removed entries
17.75k repo starsObserved in 1 repos
Testing & Quality
audit-performance
Audit hot paths for performance inefficiencies (allocations, contention, layout)
17.75k repo starsObserved in 1 repos
Testing & Quality
audit-reentrancy
Analyze user callbacks for re-entrancy defects (deadlock, corruption)
17.75k repo starsObserved in 1 repos
Testing & Quality
audit-serialization
Audit serialization proxy correctness and round-trip safety
17.75k repo starsObserved in 1 repos
Testing & Quality
audit-sibling-divergence
Differential audit comparing matched code paths that should behave identically. Spawns one auditor per sibling pair (sync/async, bounded/unbounded, view consistency, bulk vs single, generated node variants, read fast vs slow, adapter conformance) and requires a concrete witness scenario where the two paths diverge observably.
17.75k repo starsObserved in 1 repos
Testing & Quality
audit-state-machine
Audit explicit state machines (drain status, node lifecycle, async-value lifecycle) for illegal or missed transitions
17.75k repo starsObserved in 1 repos
Testing & Quality
audit-subsystem-safety
Audit one cache subsystem for concurrency correctness defects
17.75k repo starsObserved in 1 repos
Testing & Quality
audit-temporal-walk
Heavyweight history-mining bug audit. Walks the caffeine module's git history chronologically (oldest to HEAD), maintains a forward-tracked issue database, and surfaces concerns introduced by past commits that were never resolved. Catches bugs that snapshot mining cannot — half-fixes invisible from current state, latent+trigger pairs across multi-commit interactions, and partial refactors. Slow (model/effort-dependent; ~24h on Opus + max effort) and rare-run (every several months or before a major release).
17.75k repo starsObserved in 1 repos
Testing & Quality