pda-security
Trigger Pattern PDA flag detected (seeds/bump/find_program_address usage) - Inject Into Breadth agents, depth agents
264 repo starsObserved in 2 repos
Testing & Quality
Testing & Quality skills
Browse reusable Agent Skills, each with a clear purpose and practical guidance.
temporal-parameter-staleness
Trigger Pattern interval|epoch|period|duration|delay|cooldown|lock_period|timelock|unbonding|claim_delay|withdraw_delay|maturity - Inject Into Breadth agents, depth-state-trace
264 repo starsObserved in 2 repos
Testing & Quality
token-flow-tracing
Trigger Pattern BALANCE_DEPENDENT flag (required) - Inject Into Depth-token-flow, breadth agents
264 repo starsObserved in 2 repos
Testing & Quality
verification-protocol
How to prove a hypothesis is TRUE or FALSE using Foundry tests.
264 repo starsObserved in 2 repos
Testing & Quality
auth-validation
Trigger Pattern Always required for Soroban audits - Inject Into Breadth agents, depth agents
264 repo starsObserved in 1 repos
Testing & Quality
authorization-model
Trigger Pattern Always required for DAML audits - Inject Into Breadth agents, depth-state-trace, depth-external
264 repo starsObserved in 1 repos
Testing & Quality
bls-aggregation-audit
L1 trigger - audits BLS signature aggregation: subgroup check, rogue-key attack defense, aggregation order, signing-domain separation.
264 repo starsObserved in 1 repos
Testing & Quality
cid-capability-safety
Trigger Pattern Always required for DAML audits - Inject Into Breadth agents, depth-external, depth-edge-case
264 repo starsObserved in 1 repos
Testing & Quality
config-correctness
L1 trigger - audits configuration constants, documented bounds, feature-gated values, and unused protocol limits for semantic drift.
264 repo starsObserved in 1 repos
Testing & Quality
consensus-math-correctness
L1 trigger - audits consensus arithmetic for truncation, unused bounds, EMA direction, and threshold edge errors.
264 repo starsObserved in 1 repos
Testing & Quality