Instructions file
Instructions for PlamenTSV/plamen, covering plamen — security auditor, execution model, reference files and shared.
279 1mo ago A 1,396 tokens
original MIT
Agent
L1 mode - deep analysis of consensus safety/liveness invariants, non-determinism sources, Byzantine-scenario reasoning, and cross-client state divergence.
279 1mo ago A 36 tokens
original MIT
Agent
Zero-state return, dust analysis, boundary conditions with real constants.
279 1mo ago A 16 tokens
original MIT
Agent
External call side effects, cross-chain timing windows, MEV analysis.
279 1mo ago A 17 tokens
original MIT
Agent
L1 mode - deep analysis of p2p / RPC / mempool attack surfaces, DoS vectors, pre-auth panic paths, peer scoring, eclipse attacks.
279 1mo ago A 37 tokens
original MIT
Agent
Cross-function state mutation tracing, constraint enforcement verification.
279 1mo ago A 14 tokens
original MIT
Agent
Deep analysis of token entry/exit paths, donation attacks, type separation.
279 1mo ago A 18 tokens
original MIT
Agent
Synthesizes findings from multiple research agents into prioritized hypotheses.
279 1mo ago A 16 tokens
original MIT
Agent
Writes and runs PoC tests to verify hypotheses. Returns CONFIRMED or FALSEPOSITIVE.
279 1mo ago A 23 tokens
original MIT
Skill Claude CodeCodex
Trigger Pattern Always (Aptos Move) - foundational security check - Inject Into Breadth agents, depth agents.
279 1mo ago A 25 tokens
original MIT
Skill Claude CodeCodex
Trigger Pattern Always (Aptos Move) - Move VM aborts on shift = bit width - Inject Into Breadth agents, depth-edge-case.
279 1mo ago A 35 tokens
original MIT
Skill Claude CodeCodex
Trigger Protocol has privileged roles (admin, operator, governance, resource account owner) - Covers Single points of failure, privilege escalation, external governance dependen...
279 1mo ago A 35 tokens
original MIT
Skill Claude CodeCodex
Trigger Pattern wormhole|layerzero|ccip|bridge|crosschain|vaa|guardian|emitter|relay|remotechain|payload|nonce.sequence - Inject Into Breadth agents, depth-external.
279 1mo ago A 47 tokens
original MIT
Skill Claude CodeCodex
Trigger EXTERNALLIB flag detected (protocol uses third-party Move dependencies) - Used by Breadth agents, depth-external.
279 1mo ago A 28 tokens
original MIT
Skill Claude CodeCodex
Trigger Pattern MONETARYPARAMETER flag (required) - Inject Into Breadth agents (merged via M4 hierarchy).
279 1mo ago A 28 tokens
original MIT
Skill Claude CodeCodex
Trigger Pattern Any external module interaction detected in attacksurface.md - Inject Into Breadth agents (merged via M5 hierarchy).
279 1mo ago A 30 tokens
original MIT
Skill Claude CodeCodex
Trigger Pattern FLASHLOAN flag (required) or BALANCEDEPENDENT flag (optional complement) - Inject Into Breadth agents, depth-token-flow, depth-edge-case.
279 1mo ago A 40 tokens
original MIT
Skill Claude CodeCodex
Trigger Pattern Always (run during recon TASK 0, not breadth) - Inject Into Recon agent only (metabuffer.md enrichment).
279 1mo ago A 31 tokens
original MIT
Skill Claude CodeCodex
Trigger FASTANDARD flag detected (protocol uses FungibleAsset standard) - Used by Breadth agents, depth-token-flow.
279 1mo ago A 29 tokens
original MIT
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...
279 1mo ago A 43 tokens
original MIT
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.
279 1mo ago A 36 tokens
original MIT
Skill Claude CodeCodex
Trigger Pattern ORACLE flag (required) - Inject Into Breadth agents, depth-external, depth-edge-case.
279 1mo ago A 25 tokens
original MIT
Skill Claude CodeCodex
Trigger REENTRANCY flag detected (dynamic dispatch, closures, dispatchable FA, function values) - Used by Breadth agents, depth-state-trace.
279 1mo ago A 37 tokens
original MIT
Skill Claude CodeCodex
Type Thought-template (instantiate before use) - Trigger Pattern Always (Aptos Move) -- ConstructorRef/TransferRef/MintRef/BurnRef lifecycle.
279 1mo ago A 35 tokens
original MIT