consensus-tx-identity-invariants
L1 trigger - audits replay protection, transaction identity binding, and cross-layer uniqueness.
264 repo starsObserved in 1 repos
Testing & Quality
Testing & Quality skills
Browse reusable Agent Skills, each with a clear purpose and practical guidance.
contract-key-safety
Trigger Pattern Always required for DAML audits (self-skips if no template defines a key) - Inject Into Breadth agents, depth-state-trace
264 repo starsObserved in 1 repos
Testing & Quality
contract-upgradeability
Trigger Pattern update_current_contract_wasm detected in codebase - Inject Into Breadth agents, depth-state-trace
264 repo starsObserved in 1 repos
Testing & Quality
cosmos-ibc-security
L1 trigger - audits IBC / ibc-go cross-chain entry points for ICS-23 / Merkle proof gaps, ordered-channel sequence integrity, escrow burn<->mint synchronization, light-client version downgrade, and timeout/ack handler reentrancy.
264 repo starsObserved in 1 repos
Testing & Quality
cosmos-sdk-module-safety
L1 trigger - audits Cosmos-SDK / CometBFT modules for consensus non-determinism, unmetered ABCI hooks, signer/state mismatches, module-account bookkeeping breaks, sdk.Dec rounding, ABCI-path panics, unregistered Msg handlers, and fee/gas overflow.
264 repo starsObserved in 1 repos
Testing & Quality
cross-environment-semantic-drift
L1 trigger - audits L1/L2 boundary bugs, precompile context assumptions, integer width mismatches at environment boundaries, and EVM-on-non-EVM drift.
264 repo starsObserved in 1 repos
Testing & Quality
data-availability-enforcement
L1 supplement - audits storage / data-availability chains (Arweave / Celestia-class) for unenforced data commitments: producer commits to data inclusion but the validator never verifies the data was actually published / gossiped / sampled.
264 repo starsObserved in 1 repos
Testing & Quality
ensure-invariants
Trigger Pattern Always required for DAML audits - Inject Into Breadth agents, depth-edge-case
264 repo starsObserved in 1 repos
Testing & Quality
event-completeness
Trigger MISSING_EVENT flag in template_recommendations.md (recon detects admin/state-changing functions without events) - Agent Type general-purpose (standalone niche agent, NOT...
264 repo starsObserved in 1 repos
Testing & Quality
execution-client-hardening
L1 trigger - audits execution engine (EVM interpreter, WASM, SVM) for memory corruption, gas mispricing (EXTCODESIZE class), opcode semantics, and VM invariant breaks.
264 repo starsObserved in 1 repos
Testing & Quality