plamentsv
- 160 skills
- 0 followers
- 1 day ago last updated
- ▌ Type Safety 2 · plamentsvTrigger Pattern Always (Aptos Move) - generic type exploitation - Inject Into Breadth agents, depth-state-trace
- ▌ Fork Ancestry 2 · plamentsvTrigger Pattern Always (run during recon TASK 0, not breadth) - Inject Into Recon agent only (meta_buffer.md enrichment)
- ▌ Fork Ancestry 3 · plamentsvTrigger Pattern Always (run during recon TASK 0, not breadth) - Inject Into Recon agent only (meta_buffer.md enrichment)
- ▌ Oracle Analysis 2 · plamentsvTrigger Pattern ORACLE flag (required) - Inject Into Breadth agents, depth-external, depth-edge-case
- ▌ Fork Ancestry 4 · plamentsvTrigger Pattern Always (run during recon TASK 0, not breadth) - Inject Into Recon agent only (meta_buffer.md enrichment)
- ▌ Oracle Analysis 3 · plamentsvTrigger Pattern ORACLE flag (required) - Inject Into Breadth agents, depth-external, depth-edge-case
- ▌ Fork Ancestry 5 · plamentsvTrigger Pattern Always (run during recon TASK 0, not breadth) - Inject Into Recon agent only (meta_buffer.md enrichment)
- ▌ Zero State Return 2 · plamentsvTrigger Vault/first-depositor pattern detected - Inject Into Depth-edge-case agent (extends existing ZERO_STATE_ECONOMICS)
- ▌ Ability Analysis 2 · plamentsvTrigger Pattern Always (Aptos Move) - foundational security check - Inject Into Breadth agents, depth agents
- ▌ Bit Shift Safety 2 · plamentsvTrigger Pattern Always (Aptos Move) - Move VM aborts on shift = bit width - Inject Into Breadth agents, depth-edge-case
- ▌ Dependency Audit 2 · plamentsvTrigger EXTERNAL_LIB flag detected (protocol uses third-party Move dependencies) - Used by Breadth agents, depth-external
- ▌ Cross Chain Timing 2 · plamentsvType Thought-template (instantiate before use) - Trigger Pattern bridge|wormhole|axelar|layerzero|sui_bridge|cross_chain|relay|vaa|guardian|emitter|ccip
- ▌ Migration Analysis 2 · plamentsvTrigger Pattern Package upgrades, version transitions, deprecated functions, object layout changes - Inject Into Breadth agents, depth-state-trace
- ▌ Semi Trusted Roles 2 · plamentsvTrigger Pattern SEMI_TRUSTED_ROLE flag (required) - Inject Into Breadth agents, depth-state-trace
- ▌ Token Flow Tracing 2 · plamentsvTrigger Pattern BALANCE_DEPENDENT flag (required) - Inject Into Depth-token-flow, breadth agents
- ▌ Zero State Return 3 · plamentsvTrigger Pattern Vault/pool/first-depositor pattern detected - Inject Into Depth-edge-case
- ▌ Semi Trusted Roles 3 · plamentsvTrigger Pattern operator/admin/manager parties listed as signatory or controller, authority-gated choices - Inject Into Breadth agents, depth-state-trace
- ▌ Centralization Risk 2 · plamentsvTrigger Pattern Protocol has privileged capabilities (AdminCap, OwnerCap, UpgradeCap, TreasuryCap, custom caps) - Inject Into Breadth agents (optional), depth-state-trace
- ▌ Cross Chain Timing 3 · plamentsvTrigger Pattern wormhole|layerzero|ccip|bridge|cross_chain|vaa|guardian|emitter|relay|remote_chain|payload|nonce.sequence - Inject Into Breadth agents, depth-external
- ▌ Migration Analysis 3 · plamentsvTrigger Protocol has migration patterns (reinitialize, V2/V3, deprecated, upgrade, legacy, Coin-to-FA) - Covers Token type mismatches, stranded assets, interface incompatibiliti...
- ▌ Semi Trusted Roles 4 · plamentsvTrigger Pattern SEMI_TRUSTED_ROLE flag (required) - Inject Into Breadth agents, depth-state-trace
- ▌ Token Flow Tracing 3 · plamentsvTrigger Pattern BALANCE_DEPENDENT flag (required) - Inject Into Depth-token-flow, breadth agents
- ▌ Zero State Return 4 · plamentsvTrigger Always inject into Arithmetic agent (extends existing ZERO_STATE_ECONOMICS) - Purpose Check protocol return-to-zero state, not just initial zero state
- ▌ Centralization Risk 3 · plamentsvTrigger Protocol has privileged roles (admin, operator, governance, resource account owner) - Covers Single points of failure, privilege escalation, external governance dependen...
- ▌ Cross Chain Timing 4 · plamentsvTrigger Pattern wormhole|allbridge|debridge|bridge|cross_chain|vaa|guardian|emitter|LayerZero|CCIP|nonce.sequence|relay - Inject Into Breadth agents, depth-external
- ▌ Migration Analysis 4 · plamentsvTrigger Pattern Program upgrades, account data layout changes, deprecated instructions, token migrations - Inject Into Breadth agents, depth-state-trace
- ▌ Semi Trusted Roles 5 · plamentsvTrigger Pattern Crank/bot/operator signer checks, authority-gated instructions - Inject Into Breadth agents, depth-state-trace
- ▌ Token Flow Tracing 4 · plamentsvTrigger Pattern SPL token CPI transfers, token_account.amount, invoke/invoke_signed, Transfer/TransferChecked - Inject Into Lifecycle, External-Env agents
- ▌ Zero State Return 5 · plamentsvTrigger Always inject into Arithmetic agent (extends existing ZERO_STATE_ECONOMICS) - Purpose Check protocol return-to-zero state, not just initial zero state
- ▌ Economic Design Audit 2 · plamentsvTrigger Pattern MONETARY_PARAMETER flag (required) - Inject Into Breadth agents (merged via M4 hierarchy)
- ▌ Verification Protocol 2 · plamentsv bundleTrigger Pattern Always (used by all verifier agents) - Inject Into security-verifier agents (Phase 5)
- ▌ Economic Design Audit 3 · plamentsvTrigger Pattern MONETARY_PARAMETER flag (fee, rate, emission, cap, bps as template fields) - Inject Into Breadth agents (merged via M4 hierarchy)
- ▌ Verification Protocol 3 · plamentsvTrigger Pattern Always (used by all verifier agents) - Inject Into security-verifier agents (Phase 5)
- ▌ Centralization Risk 4 · plamentsvTrigger Pattern Protocol has privileged authorities (upgrade authority, admin, operator, governance, multisig) - Inject Into Breadth agents (optional), depth-state-trace
- ▌ Cross Chain Timing 5 · plamentsvTrigger Pattern stellar_bridge|soroban_bridge|horizon|anchor_protocol|bridge|cross_chain|relay|wormhole|allbridge|debridge|axelar|LayerZero|sequence|emitter - Inject Into Breadth agents, depth-external
- ▌ Migration Analysis 5 · plamentsvTrigger Pattern Contract upgrades via update_current_contract_wasm, storage migration, deprecated functions, token migrations - Inject Into Breadth agents, depth-state-trace
- ▌ Semi Trusted Roles 6 · plamentsvTrigger Pattern operator/keeper/crank require_auth checks, authority-gated functions - Inject Into Breadth agents, depth-state-trace
- ▌ Token Flow Tracing 5 · plamentsvTrigger Pattern SEP-41 token transfers, TokenClient::new, transfer/transfer_from/burn, XLM native balance - Inject Into Lifecycle, External-Env agents
- ▌ Flash Loan Interaction 2 · plamentsvTrigger Pattern FLASH_LOAN flag (required) or BALANCE_DEPENDENT flag (optional complement) - Inject Into Breadth agents, depth-token-flow, depth-edge-case
- ▌ Economic Design Audit 4 · plamentsvTrigger Pattern MONETARY_PARAMETER flag (required) - Inject Into Breadth agents (merged via M4 hierarchy)
- ▌ Verification Protocol 4 · plamentsv bundleHow to prove a hypothesis is TRUE or FALSE using Move unit tests.
- ▌ Centralization Risk 5 · plamentsvTrigger Pattern Protocol has privileged authorities (admin, operator, upgrade authority, governance) - Inject Into Breadth agents (optional), depth-state-trace
- ▌ Flash Loan Interaction 3 · plamentsvTrigger Pattern FLASH_LOAN flag (required) or BALANCE_DEPENDENT flag (optional complement) - Inject Into Breadth agents, depth-token-flow, depth-edge-case
- ▌ Economic Design Audit 5 · plamentsvTrigger Pattern MONETARY_PARAMETER flag (required) - Inject Into Breadth agents (merged via M4 hierarchy)
- ▌ Verification Protocol 5 · plamentsv bundleTrigger Pattern Always (used by all verifier agents) - Inject Into security-verifier agents (Phase 5)
- ▌ Flash Loan Interaction 4 · plamentsvTrigger Pattern FLASH_LOAN flag (required) or BALANCE_DEPENDENT flag (optional complement) - Inject Into Breadth agents, depth-token-flow, depth-edge-case
- ▌ Economic Design Audit 6 · plamentsvTrigger Pattern MONETARY_PARAMETER flag (fee, rate, emission, cap, bps values) - Inject Into Breadth agents (merged via M4 hierarchy)
- ▌ Verification Protocol 6 · plamentsvTrigger Pattern Always (used by all verifier agents) - Inject Into security-verifier agents (Phase 5)
- ▌ Share Allocation Fairness 2 · plamentsvTrigger Pattern SHARE_ALLOCATION flag detected in pattern scan - Inject Into Breadth agents, depth-edge-case
- ▌ Share Allocation Fairness 3 · plamentsvTrigger Pattern SHARE_ALLOCATION flag detected in pattern scan - Inject Into Breadth agents, depth-edge-case
- ▌ Flash Loan Interaction 5 · plamentsvTrigger Pattern FLASH_LOAN flag (required) or BALANCE_DEPENDENT flag (optional complement) - Inject Into Breadth agents, depth-token-flow, depth-edge-case
- ▌ Share Allocation Fairness 4 · plamentsvTrigger SHARE_ALLOCATION flag detected in pattern scan - Used by Breadth agents, depth-edge-case
- ▌ External Precondition Audit 2 · plamentsvTrigger Pattern Any external package function call detected in program - Inject Into Breadth agents (merged via M5 hierarchy)
- ▌ Share Allocation Fairness 5 · plamentsvTrigger Pattern SHARE_ALLOCATION flag detected in pattern scan - Inject Into Breadth agents, depth-edge-case
- ▌ Temporal Parameter Staleness 2 · plamentsvTrigger Pattern TEMPORAL flag (required) - Inject Into Breadth agents, depth-state-trace
- ▌ External Precondition Audit 3 · plamentsvTrigger Pattern Any external module interaction detected in attack_surface.md - Inject Into Breadth agents (merged via M5 hierarchy)
- ▌ Move Safety Core Directives 2 · plamentsvLightweight core directives for Aptos Move always-required skills — injected into every breadth agent. Full methodology lives in the dedicated Move-Safety Agent.
- ▌ Temporal Parameter Staleness 3 · plamentsvTrigger Pattern interval|period|duration|delay|cooldown|lock_period|timelock|deadline|maturity|expiry|getTime - Inject Into Breadth agents, depth-state-trace
- ▌ Share Allocation Fairness 6 · plamentsvTrigger Pattern SHARE_ALLOCATION flag detected in pattern scan - Inject Into Breadth agents, depth-edge-case
- ▌ Temporal Parameter Staleness 4 · plamentsvTrigger Pattern TEMPORAL flag (required) - Inject Into Breadth agents, depth-state-trace
- ▌ External Precondition Audit 4 · plamentsvTrigger Pattern Any CPI (Cross-Program Invocation) detected in program - Inject Into Breadth agents (merged via M5 hierarchy)
- ▌ Temporal Parameter Staleness 5 · plamentsvTrigger Pattern interval|epoch|period|duration|delay|cooldown|lock_period|timelock|unbonding|claim_delay|withdraw_delay|maturity - Inject Into Breadth agents, depth-state-trace
- ▌ External Precondition Audit 5 · plamentsvTrigger Pattern Any env.invoke_contract() or env.try_invoke_contract() detected in contract - Inject Into Breadth agents
- ▌ Temporal Parameter Staleness 6 · plamentsvTrigger Pattern interval|period|duration|delay|cooldown|lock_period|timelock|unbonding|claim_delay|withdraw_delay|maturity|ledger_sequence|timestamp - Inject Into Breadth agents, depth-state-trace
- ▌ Audit Prep · plamentsv bundlePrepare Solidity projects for a security audit — test coverage, test quality, NatSpec docs, code hygiene, dependency health, best-practice enforcement, deployment readiness, and project documentation checks. Generates a scored Audit Readiness Report and optionally runs static analysis. Trigger on: "prepare for audit", "audit readiness", "pre-audit check", "audit prep", "NatSpec check", or any request to review a Solidity codebase before a security review.
- ▌
- ▌ Type Safety · plamentsvTrigger Pattern Always (Sui Move) -- generic type exploitation - Inject Into Breadth agents, depth-state-trace
- ▌
- ▌ Fork Ancestry · plamentsvTrigger Pattern Always (run during recon TASK 0, not breadth) - Inject Into Recon agent only (meta_buffer.md enrichment)
- ▌ Ref Lifecycle · plamentsvType Thought-template (instantiate before use) - Trigger Pattern Always (Aptos Move) -- ConstructorRef/TransferRef/MintRef/BurnRef lifecycle
- ▌ Oracle Analysis · plamentsvTrigger Pattern ORACLE flag (required) - Inject Into Breadth agents, depth-external, depth-edge-case
- ▌ Cpi Security · plamentsvTrigger Pattern CPI flag detected (invoke/invoke_signed/CpiContext usage) - Inject Into Breadth agents, depth agents
- ▌ Pda Security · plamentsvTrigger Pattern PDA flag detected (seeds/bump/find_program_address usage) - Inject Into Breadth agents, depth agents
- ▌ Ability Analysis · plamentsvTrigger Pattern Always (Sui Move) -- foundational security check - Inject Into Breadth agents, depth agents
- ▌ Bit Shift Safety · plamentsvTrigger Pattern Always (Sui Move) -- Move VM aborts on shift = bit width - Inject Into Breadth agents, depth-edge-case
- ▌ Dependency Audit · plamentsvTrigger Pattern EXTERNAL_LIB flag (third-party Move dependencies detected in Move.toml beyond Sui framework) - Inject Into Breadth agents, depth-external
- ▌ Object Ownership · plamentsvTrigger Pattern Always required for Sui Move audits -- object lifecycle and ownership model - Inject Into Breadth agents, depth-state-trace, depth-token-flow
- ▌
- ▌ Choice Semantics · plamentsvTrigger Pattern Always required for DAML audits - Inject Into Breadth agents, depth-state-trace, depth-edge-case
- ▌ Event Correctness · plamentsvTrigger 15 events detected in recon event_definitions.md (optional skill) - Used By breadth agents (assigned to core state or dedicated agent)
- ▌ Zero State Return · plamentsvTrigger Always inject into Arithmetic agent (extends existing ZERO_STATE_ECONOMICS) - Purpose Check protocol return-to-zero state, not just initial zero state
- ▌ Ptb Composability · plamentsvTrigger Pattern PTB flag (always for Sui -- Programmable Transaction Blocks are the Sui transaction model) - Inject Into Breadth agents, depth-external, depth-state-trace
- ▌ Ensure Invariants · plamentsvTrigger Pattern Always required for DAML audits - Inject Into Breadth agents, depth-edge-case
- ▌ Locking Semantics · plamentsvTrigger Pattern Always required for DAML audits (self-skips if no lock pattern present) - Inject Into Breadth agents, depth-state-trace, depth-edge-case
- ▌ Cross Chain Timing · plamentsvType Thought-template (instantiate before use) - Research basis Multi-block arbitrage windows, bridge latency exploitation
- ▌ Migration Analysis · plamentsvTrigger Protocol has migration patterns (reinitializer, V2/V3, deprecated, upgrade, legacy) - Covers Token type mismatches, stranded assets, interface incompatibilities
- ▌ Semi Trusted Roles · plamentsvType Thought-template (instantiate before use) - Research basis Insider threat modeling, keeper/bot abuse vectors
- ▌ Token Flow Tracing · plamentsvPerforms comprehensive token flow analysis by tracing all token entry and exit paths, verifying accounting consistency, detecting unsolicited transfer vectors, and identifying risks such as donation attacks, balance desynchronization, token type confusion, and side-effect-driven state changes.
- ▌ Privacy Disclosure · plamentsvTrigger Pattern Always required for DAML audits - Inject Into Breadth agents, depth-edge-case
- ▌ Centralization Risk · plamentsvTrigger Protocol has privileged roles (admin, owner, operator, governance, multisig) - Covers Single points of failure, privilege escalation, external governance dependencies
- ▌ Auth Validation · plamentsvTrigger Pattern Always required for Soroban audits - Inject Into Breadth agents, depth agents
- ▌ Overflow Safety · plamentsvTrigger Pattern Always required for Soroban audits - Inject Into Breadth agents, depth-edge-case
- ▌
- ▌ Authorization Model · plamentsvTrigger Pattern Always required for DAML audits - Inject Into Breadth agents, depth-state-trace, depth-external
- ▌ Contract Key Safety · plamentsvTrigger Pattern Always required for DAML audits (self-skips if no template defines a key) - Inject Into Breadth agents, depth-state-trace
- ▌ Event Completeness · plamentsvTrigger MISSING_EVENT flag in template_recommendations.md (recon detects admin/state-changing functions without events) - Agent Type general-purpose (standalone niche agent, NOT...
- ▌ Account Lifecycle · plamentsvTrigger Pattern ACCOUNT_CLOSING flag detected (close/CloseAccount usage) - Inject Into Breadth agents, depth agents
- ▌ Reentrancy Analysis · plamentsvTrigger REENTRANCY flag detected (dynamic dispatch, closures, dispatchable FA, function values) - Used by Breadth agents, depth-state-trace
- ▌ Economic Design Audit · plamentsvTrigger Pattern MONETARY_PARAMETER flag (required) - Inject Into Breadth agents (merged via M6 hierarchy)
- ▌ Storage Layout Safety · plamentsvType Thought-template (instantiate before use) - Trigger Pattern STORAGE_LAYOUT flag detected