← all publishers

plamentsv

@plamentsv source repo

160 published skills · page 1 of 2

  1. Type Safety 2 · plamentsv
    Trigger Pattern Always (Aptos Move) - generic type exploitation - Inject Into Breadth agents, depth-state-trace
    0
    installs
  2. Fork Ancestry 2 · plamentsv
    Trigger Pattern Always (run during recon TASK 0, not breadth) - Inject Into Recon agent only (meta_buffer.md enrichment)
    0
    installs
  3. Fork Ancestry 3 · plamentsv
    Trigger Pattern Always (run during recon TASK 0, not breadth) - Inject Into Recon agent only (meta_buffer.md enrichment)
    0
    installs
  4. Oracle Analysis 2 · plamentsv
    Trigger Pattern ORACLE flag (required) - Inject Into Breadth agents, depth-external, depth-edge-case
    0
    installs
  5. Fork Ancestry 4 · plamentsv
    Trigger Pattern Always (run during recon TASK 0, not breadth) - Inject Into Recon agent only (meta_buffer.md enrichment)
    0
    installs
  6. Oracle Analysis 3 · plamentsv
    Trigger Pattern ORACLE flag (required) - Inject Into Breadth agents, depth-external, depth-edge-case
    0
    installs
  7. Fork Ancestry 5 · plamentsv
    Trigger Pattern Always (run during recon TASK 0, not breadth) - Inject Into Recon agent only (meta_buffer.md enrichment)
    0
    installs
  8. Zero State Return 2 · plamentsv
    Trigger Vault/first-depositor pattern detected - Inject Into Depth-edge-case agent (extends existing ZERO_STATE_ECONOMICS)
    0
    installs
  9. Ability Analysis 2 · plamentsv
    Trigger Pattern Always (Aptos Move) - foundational security check - Inject Into Breadth agents, depth agents
    0
    installs
  10. Bit Shift Safety 2 · plamentsv
    Trigger Pattern Always (Aptos Move) - Move VM aborts on shift = bit width - Inject Into Breadth agents, depth-edge-case
    0
    installs
  11. Dependency Audit 2 · plamentsv
    Trigger EXTERNAL_LIB flag detected (protocol uses third-party Move dependencies) - Used by Breadth agents, depth-external
    0
    installs
  12. Cross Chain Timing 2 · plamentsv
    Type Thought-template (instantiate before use) - Trigger Pattern bridge|wormhole|axelar|layerzero|sui_bridge|cross_chain|relay|vaa|guardian|emitter|ccip
    0
    installs
  13. Migration Analysis 2 · plamentsv
    Trigger Pattern Package upgrades, version transitions, deprecated functions, object layout changes - Inject Into Breadth agents, depth-state-trace
    0
    installs
  14. Semi Trusted Roles 2 · plamentsv
    Trigger Pattern SEMI_TRUSTED_ROLE flag (required) - Inject Into Breadth agents, depth-state-trace
    0
    installs
  15. Token Flow Tracing 2 · plamentsv
    Trigger Pattern BALANCE_DEPENDENT flag (required) - Inject Into Depth-token-flow, breadth agents
    0
    installs
  16. Zero State Return 3 · plamentsv
    Trigger Pattern Vault/pool/first-depositor pattern detected - Inject Into Depth-edge-case
    0
    installs
  17. Semi Trusted Roles 3 · plamentsv
    Trigger Pattern operator/admin/manager parties listed as signatory or controller, authority-gated choices - Inject Into Breadth agents, depth-state-trace
    0
    installs
  18. Centralization Risk 2 · plamentsv
    Trigger Pattern Protocol has privileged capabilities (AdminCap, OwnerCap, UpgradeCap, TreasuryCap, custom caps) - Inject Into Breadth agents (optional), depth-state-trace
    0
    installs
  19. Cross Chain Timing 3 · plamentsv
    Trigger Pattern wormhole|layerzero|ccip|bridge|cross_chain|vaa|guardian|emitter|relay|remote_chain|payload|nonce.sequence - Inject Into Breadth agents, depth-external
    0
    installs
  20. Migration Analysis 3 · plamentsv
    Trigger Protocol has migration patterns (reinitialize, V2/V3, deprecated, upgrade, legacy, Coin-to-FA) - Covers Token type mismatches, stranded assets, interface incompatibiliti...
    0
    installs
  21. Semi Trusted Roles 4 · plamentsv
    Trigger Pattern SEMI_TRUSTED_ROLE flag (required) - Inject Into Breadth agents, depth-state-trace
    0
    installs
  22. Token Flow Tracing 3 · plamentsv
    Trigger Pattern BALANCE_DEPENDENT flag (required) - Inject Into Depth-token-flow, breadth agents
    0
    installs
  23. Zero State Return 4 · plamentsv
    Trigger Always inject into Arithmetic agent (extends existing ZERO_STATE_ECONOMICS) - Purpose Check protocol return-to-zero state, not just initial zero state
    0
    installs
  24. Centralization Risk 3 · plamentsv
    Trigger Protocol has privileged roles (admin, operator, governance, resource account owner) - Covers Single points of failure, privilege escalation, external governance dependen...
    0
    installs
  25. Cross Chain Timing 4 · plamentsv
    Trigger Pattern wormhole|allbridge|debridge|bridge|cross_chain|vaa|guardian|emitter|LayerZero|CCIP|nonce.sequence|relay - Inject Into Breadth agents, depth-external
    0
    installs
  26. Migration Analysis 4 · plamentsv
    Trigger Pattern Program upgrades, account data layout changes, deprecated instructions, token migrations - Inject Into Breadth agents, depth-state-trace
    0
    installs
  27. Semi Trusted Roles 5 · plamentsv
    Trigger Pattern Crank/bot/operator signer checks, authority-gated instructions - Inject Into Breadth agents, depth-state-trace
    0
    installs
  28. Token Flow Tracing 4 · plamentsv
    Trigger Pattern SPL token CPI transfers, token_account.amount, invoke/invoke_signed, Transfer/TransferChecked - Inject Into Lifecycle, External-Env agents
    0
    installs
  29. Zero State Return 5 · plamentsv
    Trigger Always inject into Arithmetic agent (extends existing ZERO_STATE_ECONOMICS) - Purpose Check protocol return-to-zero state, not just initial zero state
    0
    installs
  30. Economic Design Audit 2 · plamentsv
    Trigger Pattern MONETARY_PARAMETER flag (required) - Inject Into Breadth agents (merged via M4 hierarchy)
    0
    installs
  31. Verification Protocol 2 · plamentsv bundle
    Trigger Pattern Always (used by all verifier agents) - Inject Into security-verifier agents (Phase 5)
    0
    installs
  32. Economic Design Audit 3 · plamentsv
    Trigger Pattern MONETARY_PARAMETER flag (fee, rate, emission, cap, bps as template fields) - Inject Into Breadth agents (merged via M4 hierarchy)
    0
    installs
  33. Verification Protocol 3 · plamentsv
    Trigger Pattern Always (used by all verifier agents) - Inject Into security-verifier agents (Phase 5)
    0
    installs
  34. Centralization Risk 4 · plamentsv
    Trigger Pattern Protocol has privileged authorities (upgrade authority, admin, operator, governance, multisig) - Inject Into Breadth agents (optional), depth-state-trace
    0
    installs
  35. Cross Chain Timing 5 · plamentsv
    Trigger 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
    0
    installs
  36. Migration Analysis 5 · plamentsv
    Trigger Pattern Contract upgrades via update_current_contract_wasm, storage migration, deprecated functions, token migrations - Inject Into Breadth agents, depth-state-trace
    0
    installs
  37. Semi Trusted Roles 6 · plamentsv
    Trigger Pattern operator/keeper/crank require_auth checks, authority-gated functions - Inject Into Breadth agents, depth-state-trace
    0
    installs
  38. Token Flow Tracing 5 · plamentsv
    Trigger Pattern SEP-41 token transfers, TokenClient::new, transfer/transfer_from/burn, XLM native balance - Inject Into Lifecycle, External-Env agents
    0
    installs
  39. Flash Loan Interaction 2 · plamentsv
    Trigger Pattern FLASH_LOAN flag (required) or BALANCE_DEPENDENT flag (optional complement) - Inject Into Breadth agents, depth-token-flow, depth-edge-case
    0
    installs
  40. Economic Design Audit 4 · plamentsv
    Trigger Pattern MONETARY_PARAMETER flag (required) - Inject Into Breadth agents (merged via M4 hierarchy)
    0
    installs
  41. Verification Protocol 4 · plamentsv bundle
    How to prove a hypothesis is TRUE or FALSE using Move unit tests.
    0
    installs
  42. Centralization Risk 5 · plamentsv
    Trigger Pattern Protocol has privileged authorities (admin, operator, upgrade authority, governance) - Inject Into Breadth agents (optional), depth-state-trace
    0
    installs
  43. Flash Loan Interaction 3 · plamentsv
    Trigger Pattern FLASH_LOAN flag (required) or BALANCE_DEPENDENT flag (optional complement) - Inject Into Breadth agents, depth-token-flow, depth-edge-case
    0
    installs
  44. Economic Design Audit 5 · plamentsv
    Trigger Pattern MONETARY_PARAMETER flag (required) - Inject Into Breadth agents (merged via M4 hierarchy)
    0
    installs
  45. Verification Protocol 5 · plamentsv bundle
    Trigger Pattern Always (used by all verifier agents) - Inject Into security-verifier agents (Phase 5)
    2
    installs
  46. Flash Loan Interaction 4 · plamentsv
    Trigger Pattern FLASH_LOAN flag (required) or BALANCE_DEPENDENT flag (optional complement) - Inject Into Breadth agents, depth-token-flow, depth-edge-case
    0
    installs
  47. Economic Design Audit 6 · plamentsv
    Trigger Pattern MONETARY_PARAMETER flag (fee, rate, emission, cap, bps values) - Inject Into Breadth agents (merged via M4 hierarchy)
    0
    installs
  48. Verification Protocol 6 · plamentsv
    Trigger Pattern Always (used by all verifier agents) - Inject Into security-verifier agents (Phase 5)
    0
    installs
  49. Share Allocation Fairness 2 · plamentsv
    Trigger Pattern SHARE_ALLOCATION flag detected in pattern scan - Inject Into Breadth agents, depth-edge-case
    0
    installs
  50. Share Allocation Fairness 3 · plamentsv
    Trigger Pattern SHARE_ALLOCATION flag detected in pattern scan - Inject Into Breadth agents, depth-edge-case
    0
    installs
  51. Flash Loan Interaction 5 · plamentsv
    Trigger Pattern FLASH_LOAN flag (required) or BALANCE_DEPENDENT flag (optional complement) - Inject Into Breadth agents, depth-token-flow, depth-edge-case
    0
    installs
  52. Share Allocation Fairness 4 · plamentsv
    Trigger SHARE_ALLOCATION flag detected in pattern scan - Used by Breadth agents, depth-edge-case
    0
    installs
  53. External Precondition Audit 2 · plamentsv
    Trigger Pattern Any external package function call detected in program - Inject Into Breadth agents (merged via M5 hierarchy)
    0
    installs
  54. Share Allocation Fairness 5 · plamentsv
    Trigger Pattern SHARE_ALLOCATION flag detected in pattern scan - Inject Into Breadth agents, depth-edge-case
    0
    installs
  55. Temporal Parameter Staleness 2 · plamentsv
    Trigger Pattern TEMPORAL flag (required) - Inject Into Breadth agents, depth-state-trace
    0
    installs
  56. External Precondition Audit 3 · plamentsv
    Trigger Pattern Any external module interaction detected in attack_surface.md - Inject Into Breadth agents (merged via M5 hierarchy)
    0
    installs
  57. Move Safety Core Directives 2 · plamentsv
    Lightweight core directives for Aptos Move always-required skills — injected into every breadth agent. Full methodology lives in the dedicated Move-Safety Agent.
    0
    installs
  58. Temporal Parameter Staleness 3 · plamentsv
    Trigger Pattern interval|period|duration|delay|cooldown|lock_period|timelock|deadline|maturity|expiry|getTime - Inject Into Breadth agents, depth-state-trace
    0
    installs
  59. Share Allocation Fairness 6 · plamentsv
    Trigger Pattern SHARE_ALLOCATION flag detected in pattern scan - Inject Into Breadth agents, depth-edge-case
    0
    installs
  60. Temporal Parameter Staleness 4 · plamentsv
    Trigger Pattern TEMPORAL flag (required) - Inject Into Breadth agents, depth-state-trace
    0
    installs
  61. External Precondition Audit 4 · plamentsv
    Trigger Pattern Any CPI (Cross-Program Invocation) detected in program - Inject Into Breadth agents (merged via M5 hierarchy)
    0
    installs
  62. Temporal Parameter Staleness 5 · plamentsv
    Trigger Pattern interval|epoch|period|duration|delay|cooldown|lock_period|timelock|unbonding|claim_delay|withdraw_delay|maturity - Inject Into Breadth agents, depth-state-trace
    0
    installs
  63. External Precondition Audit 5 · plamentsv
    Trigger Pattern Any env.invoke_contract() or env.try_invoke_contract() detected in contract - Inject Into Breadth agents
    0
    installs
  64. Temporal Parameter Staleness 6 · plamentsv
    Trigger 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
    0
    installs
  65. Audit Prep · plamentsv bundle
    Prepare 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.
    0
    installs
  66. Plamen · plamentsv
    Launch the Plamen deterministic Web3 security audit pipeline
    0
    installs
  67. Type Safety · plamentsv
    Trigger Pattern Always (Sui Move) -- generic type exploitation - Inject Into Breadth agents, depth-state-trace
    0
    installs
  68. Plamen L1 · plamentsv
    Launch the Plamen deterministic L1 infrastructure audit pipeline
    0
    installs
  69. Fork Ancestry · plamentsv
    Trigger Pattern Always (run during recon TASK 0, not breadth) - Inject Into Recon agent only (meta_buffer.md enrichment)
    0
    installs
  70. Ref Lifecycle · plamentsv
    Type Thought-template (instantiate before use) - Trigger Pattern Always (Aptos Move) -- ConstructorRef/TransferRef/MintRef/BurnRef lifecycle
    0
    installs
  71. Oracle Analysis · plamentsv
    Trigger Pattern ORACLE flag (required) - Inject Into Breadth agents, depth-external, depth-edge-case
    0
    installs
  72. Cpi Security · plamentsv
    Trigger Pattern CPI flag detected (invoke/invoke_signed/CpiContext usage) - Inject Into Breadth agents, depth agents
    0
    installs
  73. Pda Security · plamentsv
    Trigger Pattern PDA flag detected (seeds/bump/find_program_address usage) - Inject Into Breadth agents, depth agents
    0
    installs
  74. Ability Analysis · plamentsv
    Trigger Pattern Always (Sui Move) -- foundational security check - Inject Into Breadth agents, depth agents
    0
    installs
  75. Bit Shift Safety · plamentsv
    Trigger Pattern Always (Sui Move) -- Move VM aborts on shift = bit width - Inject Into Breadth agents, depth-edge-case
    0
    installs
  76. Dependency Audit · plamentsv
    Trigger Pattern EXTERNAL_LIB flag (third-party Move dependencies detected in Move.toml beyond Sui framework) - Inject Into Breadth agents, depth-external
    0
    installs
  77. Object Ownership · plamentsv
    Trigger Pattern Always required for Sui Move audits -- object lifecycle and ownership model - Inject Into Breadth agents, depth-state-trace, depth-token-flow
    0
    installs
  78. Plamen Wizard · plamentsv
    Run the Plamen smart-contract audit wizard in Codex
    0
    installs
  79. Choice Semantics · plamentsv
    Trigger Pattern Always required for DAML audits - Inject Into Breadth agents, depth-state-trace, depth-edge-case
    0
    installs
  80. Event Correctness · plamentsv
    Trigger 15 events detected in recon event_definitions.md (optional skill) - Used By breadth agents (assigned to core state or dedicated agent)
    0
    installs
  81. Zero State Return · plamentsv
    Trigger Always inject into Arithmetic agent (extends existing ZERO_STATE_ECONOMICS) - Purpose Check protocol return-to-zero state, not just initial zero state
    0
    installs
  82. Ptb Composability · plamentsv
    Trigger Pattern PTB flag (always for Sui -- Programmable Transaction Blocks are the Sui transaction model) - Inject Into Breadth agents, depth-external, depth-state-trace
    0
    installs
  83. Ensure Invariants · plamentsv
    Trigger Pattern Always required for DAML audits - Inject Into Breadth agents, depth-edge-case
    0
    installs
  84. Locking Semantics · plamentsv
    Trigger Pattern Always required for DAML audits (self-skips if no lock pattern present) - Inject Into Breadth agents, depth-state-trace, depth-edge-case
    0
    installs
  85. Cross Chain Timing · plamentsv
    Type Thought-template (instantiate before use) - Research basis Multi-block arbitrage windows, bridge latency exploitation
    0
    installs
  86. Migration Analysis · plamentsv
    Trigger Protocol has migration patterns (reinitializer, V2/V3, deprecated, upgrade, legacy) - Covers Token type mismatches, stranded assets, interface incompatibilities
    0
    installs
  87. Semi Trusted Roles · plamentsv
    Type Thought-template (instantiate before use) - Research basis Insider threat modeling, keeper/bot abuse vectors
    0
    installs
  88. Token Flow Tracing · plamentsv
    Performs 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.
    0
    installs
  89. Privacy Disclosure · plamentsv
    Trigger Pattern Always required for DAML audits - Inject Into Breadth agents, depth-edge-case
    0
    installs
  90. Centralization Risk · plamentsv
    Trigger Protocol has privileged roles (admin, owner, operator, governance, multisig) - Covers Single points of failure, privilege escalation, external governance dependencies
    0
    installs
  91. Auth Validation · plamentsv
    Trigger Pattern Always required for Soroban audits - Inject Into Breadth agents, depth agents
    0
    installs
  92. Overflow Safety · plamentsv
    Trigger Pattern Always required for Soroban audits - Inject Into Breadth agents, depth-edge-case
    0
    installs
  93. Plamen L1 Wizard · plamentsv
    Run the Plamen L1 infrastructure audit wizard in Codex
    0
    installs
  94. Authorization Model · plamentsv
    Trigger Pattern Always required for DAML audits - Inject Into Breadth agents, depth-state-trace, depth-external
    0
    installs
  95. Contract Key Safety · plamentsv
    Trigger Pattern Always required for DAML audits (self-skips if no template defines a key) - Inject Into Breadth agents, depth-state-trace
    0
    installs
  96. Event Completeness · plamentsv
    Trigger MISSING_EVENT flag in template_recommendations.md (recon detects admin/state-changing functions without events) - Agent Type general-purpose (standalone niche agent, NOT...
    0
    installs
  97. Account Lifecycle · plamentsv
    Trigger Pattern ACCOUNT_CLOSING flag detected (close/CloseAccount usage) - Inject Into Breadth agents, depth agents
    0
    installs
  98. Reentrancy Analysis · plamentsv
    Trigger REENTRANCY flag detected (dynamic dispatch, closures, dispatchable FA, function values) - Used by Breadth agents, depth-state-trace
    0
    installs
  99. Economic Design Audit · plamentsv
    Trigger Pattern MONETARY_PARAMETER flag (required) - Inject Into Breadth agents (merged via M6 hierarchy)
    0
    installs
  100. Storage Layout Safety · plamentsv
    Type Thought-template (instantiate before use) - Trigger Pattern STORAGE_LAYOUT flag detected
    0
    installs