external-precondition-audit
Trigger Pattern Any CPI (Cross-Program Invocation) detected in program - Inject Into Breadth agents (merged via M5 hierarchy)
264 repo starsObserved in 1 repos
Testing & Quality
Testing & Quality skills
Browse reusable Agent Skills, each with a clear purpose and practical guidance.
fork-choice-audit
L1 trigger - audits fork-choice rule implementation (LMD-GHOST, Tendermint locking, Nakamoto longest-chain) for equivocation handling, slot-vs-block reasoning, duplicate block handling, and chain reorg correctness.
264 repo starsObserved in 1 repos
Testing & Quality
go-concurrency-safety
L1 supplement - audits Go-specific concurrency hazards in node client code: map iteration non-determinism, goroutine leaks, mutex ordering, panic boundaries, context cancellation.
264 repo starsObserved in 1 repos
Testing & Quality
hardfork-activation-and-protocol-upgrade
L1 trigger - audits bugs that surface only at fork boundaries / protocol upgrade points: activation logic, dormant code paths, upgrade epoch correctness, version gating.
264 repo starsObserved in 1 repos
Testing & Quality
iri-controller
The InternalReleaseImage controller manages the IRI resource lifecycle, generates MachineConfigs for the IRI registry, updates status by aggregating from MachineConfigNodes, and handles deletion. Use when reviewing controller implementation or validating behaviors.
264 repo starsObserved in 1 repos
Testing & Quality
light-client-proof-verification
L1 trigger - audits light client and cross-chain proof verification: Merkle proof soundness, ICS-23 subkey handling (Dragonberry class), state root checks, message integrity.
264 repo starsObserved in 1 repos
Testing & Quality
locking-semantics
Trigger Pattern Always required for DAML audits (self-skips if no lock pattern present) - Inject Into Breadth agents, depth-state-trace, depth-edge-case
264 repo starsObserved in 1 repos
Testing & Quality
mempool-asymmetric-dos
L1 trigger - audits mempool / transaction pool for eviction asymmetries, replacement policy abuse, blob-pool exhaustion, and DETER-class denial of service.
264 repo starsObserved in 1 repos
Testing & Quality
object-ownership
Trigger Pattern Always required for Sui Move audits -- object lifecycle and ownership model - Inject Into Breadth agents, depth-state-trace, depth-token-flow
264 repo starsObserved in 1 repos
Testing & Quality
overflow-safety
Trigger Pattern Always required for Soroban audits - Inject Into Breadth agents, depth-edge-case
264 repo starsObserved in 1 repos
Testing & Quality