Skill Claude CodeCodex
Trigger Pattern SEMITRUSTEDROLE flag (required) - Inject Into Breadth agents, depth-state-trace.
279 1mo ago A 29 tokens
original MIT
Skill Claude CodeCodex
Trigger SHAREALLOCATION flag detected in pattern scan - Used by Breadth agents, depth-edge-case.
279 1mo ago A 26 tokens
original MIT
Skill Claude CodeCodex
Trigger Pattern TEMPORAL flag (required) - Inject Into Breadth agents, depth-state-trace.
279 1mo ago A 28 tokens
original MIT
Skill Claude CodeCodex
Trigger Pattern BALANCEDEPENDENT flag (required) - Inject Into Depth-token-flow, breadth agents.
279 1mo ago A 25 tokens
original MIT
type-safety
29Skill Claude CodeCodex
Trigger Pattern Always (Aptos Move) - generic type exploitation - Inject Into Breadth agents, depth-state-trace.
279 1mo ago A 28 tokens
original MIT
Skill Claude CodeCodex
How to prove a hypothesis is TRUE or FALSE using Move unit tests.
279 1mo ago A 18 tokens
original MIT
Skill Claude CodeCodex
Trigger Pattern Vault/pool/first-depositor pattern detected - Inject Into Depth-edge-case.
279 1mo ago A 21 tokens
original MIT
Skill Claude CodeCodex
Trigger Pattern Always required for DAML audits - Inject Into Breadth agents, depth-state-trace, depth-external.
279 1mo ago A 26 tokens
original MIT
Skill Claude CodeCodex
Trigger Pattern Always required for DAML audits - Inject Into Breadth agents, depth-state-trace, depth-edge-case.
279 1mo ago A 28 tokens
original MIT
Skill Claude CodeCodex
Trigger Pattern Always required for DAML audits - Inject Into Breadth agents, depth-external, depth-edge-case.
279 1mo ago A 28 tokens
original MIT
Skill Claude CodeCodex
Trigger Pattern Always required for DAML audits (self-skips if no template defines a key) - Inject Into Breadth agents, depth-state-trace.
279 1mo ago A 35 tokens
original MIT
Skill Claude CodeCodex
Trigger Pattern Always required for DAML audits - Inject Into Breadth agents, depth-edge-case.
279 1mo ago A 22 tokens
original MIT
Skill Claude CodeCodex
Trigger Pattern Always required for DAML audits (self-skips if no lock pattern present) - Inject Into Breadth agents, depth-state-trace, depth-edge-case.
279 1mo ago A 38 tokens
original MIT
Skill Claude CodeCodex
Trigger Pattern Always required for DAML audits - Inject Into Breadth agents, depth-edge-case.
279 1mo ago A 22 tokens
original MIT
Skill Claude CodeCodex
Type Thought-template (instantiate before use) - Trigger Pattern CROSSCHAINMSG flag detected (protocol RECEIVES cross-chain messages).
279 1mo ago A 30 tokens
original MIT
Skill Claude CodeCodex
Trigger 15 events detected in recon eventdefinitions.md (optional skill) - Used By breadth agents (assigned to core state or dedicated agent).
279 1mo ago A 34 tokens
original MIT
Skill Claude CodeCodex
Type Thought-template (instantiate before use) - Research basis Donation attacks via unsolicited token transfers.
279 1mo ago A 24 tokens
original MIT
Skill Claude CodeCodex
Type Thought-template (instantiate before use) - Trigger Pattern STORAGELAYOUT flag detected.
279 1mo ago A 20 tokens
original MIT
Skill Claude CodeCodex
Protocol Type Trigger accountabstraction (detected when ERC-4337 interfaces, EntryPoint, UserOperation, or Paymaster patterns found) - Inject Into Breadth agents, depth-external.
279 1mo ago A 43 tokens
original MIT
Skill Claude CodeCodex
CROSSCHAINMESSAGEINTEGRITY audits messages the contract RECEIVES (decode, auth, replay). It does NOT audit whether the bytes the contract PRODUCES on the EVM side match the layout the destination VM expects. An EVM contract that packs a Solana account list, a Borsh struct, or a Bitcoin script with the wrong field…
279 1mo ago A 0 tokens
original MIT
Skill Claude CodeCodex
Protocol Type Trigger dexintegration (detected when recon finds swap|addLiquidity|removeLiquidity|IUniswapV2Router|ISwapRouter|amountOutMin|amountOutMinimum|slippage - AND the...
279 1mo ago A 50 tokens
original MIT
Skill Claude CodeCodex
Protocol Type Trigger governance (detected when Governor, Timelock, voting, proposal, quorum, delegate patterns found) - Inject Into Breadth agents, depth-external, depth-edge-case.
279 1mo ago A 46 tokens
original MIT
Skill Claude CodeCodex
Protocol Type Trigger NAMEDEXTERNALPROTOCOL (detected when recon finds import/interface for an identifiable external protocol — not standard libraries). Researches known integration hazards of the target protocol.
279 1mo ago A 41 tokens
original MIT
Skill Claude CodeCodex
L1 trigger - audits BLS signature aggregation: subgroup check, rogue-key attack defense, aggregation order, signing-domain separation.
279 1mo ago A 32 tokens
original MIT