Skill Claude CodeCodex
Trigger Pattern Always (Aptos Move) - foundational security check - Inject Into Breadth agents, depth agents.
Skill Claude CodeCodex
Trigger Pattern Always (Aptos Move) - foundational security check - Inject Into Breadth agents, depth agents.
Skill Claude CodeCodex
Trigger Pattern Always (Aptos Move) - Move VM aborts on shift = bit width - Inject Into Breadth agents, depth-edge-case.
Skill Claude CodeCodex
Trigger Protocol has privileged roles (admin, operator, governance, resource account owner) - Covers Single points of failure, privilege escalation, external governance dependen...
Skill Claude CodeCodex
Trigger Pattern wormhole|layerzero|ccip|bridge|crosschain|vaa|guardian|emitter|relay|remotechain|payload|nonce.sequence - Inject Into Breadth agents, depth-external.
Skill Claude CodeCodex
Trigger EXTERNALLIB flag detected (protocol uses third-party Move dependencies) - Used by Breadth agents, depth-external.
Skill Claude CodeCodex
Trigger Pattern MONETARYPARAMETER flag (required) - Inject Into Breadth agents (merged via M4 hierarchy).
Skill Claude CodeCodex
Trigger Pattern Any external module interaction detected in attacksurface.md - Inject Into Breadth agents (merged via M5 hierarchy).
Skill Claude CodeCodex
Trigger Pattern FLASHLOAN flag (required) or BALANCEDEPENDENT flag (optional complement) - Inject Into Breadth agents, depth-token-flow, depth-edge-case.
Skill Claude CodeCodex
Trigger Pattern Always (run during recon TASK 0, not breadth) - Inject Into Recon agent only (metabuffer.md enrichment).
Skill Claude CodeCodex
Trigger FASTANDARD flag detected (protocol uses FungibleAsset standard) - Used by Breadth agents, depth-token-flow.
Skill Claude CodeCodex
Trigger Protocol has migration patterns (reinitialize, V2/V3, deprecated, upgrade, legacy, Coin-to-FA) - Covers Token type mismatches, stranded assets, interface incompatibiliti...
Skill Claude CodeCodex
Lightweight core directives for Aptos Move always-required skills — injected into every breadth agent. Full methodology lives in the dedicated Move-Safety Agent.
Skill Claude CodeCodex
Trigger Pattern ORACLE flag (required) - Inject Into Breadth agents, depth-external, depth-edge-case.
Skill Claude CodeCodex
Trigger REENTRANCY flag detected (dynamic dispatch, closures, dispatchable FA, function values) - Used by Breadth agents, depth-state-trace.
Skill Claude CodeCodex
Type Thought-template (instantiate before use) - Trigger Pattern Always (Aptos Move) -- ConstructorRef/TransferRef/MintRef/BurnRef lifecycle.
Skill Claude CodeCodex
Trigger Pattern SEMITRUSTEDROLE flag (required) - Inject Into Breadth agents, depth-state-trace.
Skill Claude CodeCodex
Trigger SHAREALLOCATION flag detected in pattern scan - Used by Breadth agents, depth-edge-case.
Skill Claude CodeCodex
Trigger Pattern TEMPORAL flag (required) - Inject Into Breadth agents, depth-state-trace.
Skill Claude CodeCodex
Trigger Pattern BALANCEDEPENDENT flag (required) - Inject Into Depth-token-flow, breadth agents.
Skill Claude CodeCodex
Trigger Pattern Always (Aptos Move) - generic type exploitation - Inject Into Breadth agents, depth-state-trace.
Skill Claude CodeCodex
How to prove a hypothesis is TRUE or FALSE using Move unit tests.
Skill Claude CodeCodex
Trigger Pattern Vault/pool/first-depositor pattern detected - Inject Into Depth-edge-case.
Skill Claude CodeCodex
Trigger Pattern Always required for DAML audits - Inject Into Breadth agents, depth-state-trace, depth-external.
Skill Claude CodeCodex
Trigger Pattern Always required for DAML audits - Inject Into Breadth agents, depth-state-trace, depth-edge-case.