Profile My skills Saved Collections Edit profile Submit a skill

← all publishers

plamentsv

@plamentsv source repo

160 published skills · page 2 of 2

  1. ▌
    Verification Protocol · plamentsv bundle
    How to prove a hypothesis is TRUE or FALSE using Foundry tests.
    0
    installs
  2. ▌
    Account Validation · plamentsv
    Trigger Pattern Always required for Solana audits - Inject Into Breadth agents, depth agents
    0
    installs
  3. ▌
    Storage Lifecycle · plamentsv
    Trigger Pattern Always required for Soroban audits - Inject Into Breadth agents, depth agents
    0
    installs
  4. ▌
    Cid Capability Safety · plamentsv
    Trigger Pattern Always required for DAML audits - Inject Into Breadth agents, depth-external, depth-edge-case
    0
    installs
  5. ▌
    Flash Loan Interaction · 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
  6. ▌
    Staking Receipt Tokens · plamentsv
    Type Thought-template (instantiate before use) - Research basis Donation attacks via unsolicited token transfers
    0
    installs
  7. ▌
    Dimensional Analysis · plamentsv
    Trigger MIXED_DECIMALS flag (mulDiv/mulWad/rayMul + mixed scale factors detected) - standalone niche agent, 1 budget slot
    0
    installs
  8. ▌
    Custom Type Safety · plamentsv
    Trigger Pattern contractimport! or contracttype detected - Inject Into Breadth agents, depth-external
    0
    installs
  9. ▌
    Sep41 Token Safety · plamentsv
    Trigger Pattern SEP-41 token patterns detected (approve/transfer/transfer_from/allowance/balance) - Inject Into Breadth agents, depth-token-flow, depth-edge-case
    0
    installs
  10. ▌
    Package Version Safety · plamentsv
    Trigger Pattern PACKAGE_UPGRADE flag (UpgradeCap detected, multiple package versions, upgrade policy references) - Inject Into Breadth agents, depth-external
    0
    installs
  11. ▌
    Vault Accounting · plamentsv
    Protocol Type Trigger vault (detected in recon TASK 0 Step 1) - Inject Into Core state agent OR economic design agent (merge via M4 hierarchy)
    0
    installs
  12. ▌
    Spec Compliance Audit · plamentsv
    Trigger HAS_DOCS flag in template_recommendations.md (recon detects non-empty DOCS_PATH - whitepaper, spec, or design doc provided) - Agent Type general-purpose (standalone nich...
    0
    installs
  13. ▌
    Stableswap Compliance · plamentsv
    Trigger STABLESWAP_FORK flag (fork-ancestry detects Curve/StableSwap parent via get_d/get_y/ramp_a/StableSwap patterns) - Agent Type general-purpose (standalone niche agent, 1 budget slot)
    0
    installs
  14. ▌
    Token 2022 Extensions · plamentsv
    Trigger Pattern TOKEN_2022 flag detected (token_2022/spl_token_2022/transfer_checked usage) - Inject Into Breadth agents, depth agents
    0
    installs
  15. ▌
    Trident API Reference · plamentsv
    Trident Api Reference
    0
    installs
  16. ▌
    Fungible Asset Security · plamentsv
    Trigger FA_STANDARD flag detected (protocol uses FungibleAsset standard) - Used by Breadth agents, depth-token-flow
    0
    installs
  17. ▌
    Share Allocation Fairness · plamentsv
    Trigger SHARE_ALLOCATION flag detected in pattern scan - Used by Breadth agents, depth-edge-case
    0
    installs
  18. ▌
    Outcome Determinism · plamentsv
    Protocol Type Trigger outcome_determinism - detected when EITHER of these code patterns are present - - Selection from finite depletable pool with fallback behavior (while(full)...
    0
    installs
  19. ▌
    Callback Receiver Safety · plamentsv
    Niche agent for callback receiver safety: access control on implemented callback handlers, permissionless state inflation via callbacks, and selective revert exploitation
    0
    installs
  20. ▌
    External Precondition Audit · plamentsv
    Trigger Pattern Any external contract interaction detected in attack_surface.md - Inject Into Breadth agents (merged via M7 hierarchy)
    0
    installs
  21. ▌
    Fork Choice Audit · plamentsv
    L1 trigger - audits fork-choice rule implementation (LMD-GHOST, Tendermint locking, Nakamoto longest-chain) for equivocation handling, slot-vs-block reasoning, duplicate block handling, and chain reorg correctness.
    0
    installs
  22. ▌
    Rpc Surface Audit · plamentsv
    L1 trigger - audits JSON-RPC and Engine API surfaces for authentication bypass, rate limiting, subscription buffer overflows, and method-specific DoS.
    0
    installs
  23. ▌
    Rust Unsafe Audit · plamentsv
    L1 supplement - audits Rust-specific hazards: unsafe blocks, uninitialized memory, Send/Sync violations, panic safety in hot paths, drop order, FFI.
    0
    installs
  24. ▌
    Semantic Gap Investigator · plamentsv
    Trigger Semantic Invariant Agent (Phase 4a.5) reports sync_gaps = 1 OR accumulation_exposures = 1 OR conditional_writes = 1 OR cluster_gaps = 1 in its return message - Agent Typ...
    0
    installs
  25. ▌
    Contract Upgradeability · plamentsv
    Trigger Pattern update_current_contract_wasm detected in codebase - Inject Into Breadth agents, depth-state-trace
    0
    installs
  26. ▌
    Move Safety Core Directives · plamentsv
    Lightweight core directives for Sui Move always-required skills - injected into every breadth agent. Full methodology lives in the dedicated Move-Safety Agent.
    0
    installs
  27. ▌
    Temporal Parameter Staleness · plamentsv
    Type Thought-template (instantiate before use) - Research basis Cached parameters in multi-step operations become stale when governance changes them mid-operation
    0
    installs
  28. ▌
    Config Correctness · plamentsv
    L1 trigger - audits configuration constants, documented bounds, feature-gated values, and unused protocol limits for semantic drift.
    0
    installs
  29. ▌
    State Sync Pruning · plamentsv
    L1 trigger - audits state sync, snapshot integrity, checkpoint trust, pruning race conditions, and state growth attacks.
    0
    installs
  30. ▌
    Nft Protocol Security · plamentsv
    Protocol Type Trigger nft (detected when ERC721/ERC1155 with marketplace, minting, staking, or collateral logic found) - Inject Into Breadth agents, depth-token-flow, depth-edge...
    0
    installs
  31. ▌
    Semantic Consistency Audit · plamentsv
    Trigger HAS_MULTI_CONTRACT flag in template_recommendations.md (recon detects 2+ in-scope contracts/modules sharing parameters or formulas) - Agent Type general-purpose (standal...
    0
    installs
  32. ▌
    Instruction Introspection · plamentsv
    Trigger Pattern INSTRUCTION_INTROSPECTION flag detected (load_instruction_at/Sysvar1nstructions) - Inject Into Breadth agents, depth agents
    0
    installs
  33. ▌
    Cross Chain Message Integrity · plamentsv
    Type Thought-template (instantiate before use) - Trigger Pattern CROSS_CHAIN_MSG flag detected (protocol RECEIVES cross-chain messages)
    0
    installs
  34. ▌
    Cosmos Ibc Security · plamentsv
    L1 trigger - audits IBC / ibc-go cross-chain entry points for ICS-23 / Merkle proof gaps, ordered-channel sequence integrity, escrow burn<->mint synchronization, light-client version downgrade, and timeout/ack handler reentrancy.
    0
    installs
  35. ▌
    P2p Dos And Eclipse · plamentsv
    L1 trigger - audits peer-to-peer networking for DoS vectors (resource exhaustion, amplification), eclipse attack susceptibility, and discovery table poisoning (Kademlia/devp2p).
    0
    installs
  36. ▌
    Multi Step Operation Safety · plamentsv
    Niche agent for multi-step operation safety: authorization sequence conflicts in batch/multi-step operations, and infrastructure address targeting via public on-behalf-of functions
    0
    installs
  37. ▌
    Signature Verification Audit · plamentsv
    Trigger HAS_SIGNATURES flag in template_recommendations.md (recon detects signature verification patterns - see chain-specific grep patterns in TASK 6) - Agent Type general-purp...
    0
    installs
  38. ▌
    Dex Integration Security · plamentsv
    Protocol Type Trigger dex_integration (detected when recon finds swap|addLiquidity|removeLiquidity|IUniswapV2Router|ISwapRouter|amountOutMin|amountOutMinimum|slippage - AND the...
    0
    installs
  39. ▌
    Bls Aggregation Audit · plamentsv
    L1 trigger - audits BLS signature aggregation: subgroup check, rogue-key attack defense, aggregation order, signing-domain separation.
    0
    installs
  40. ▌
    Go Concurrency Safety · plamentsv
    L1 supplement - audits Go-specific concurrency hazards in node client code: map iteration non-determinism, goroutine leaks, mutex ordering, panic boundaries, context cancellation.
    0
    installs
  41. ▌
    Governance Attack Vectors · plamentsv
    Protocol Type Trigger governance (detected when Governor, Timelock, voting, proposal, quorum, delegate patterns found) - Inject Into Breadth agents, depth-external, depth-edge-case
    0
    installs
  42. ▌
    Mempool Asymmetric Dos · plamentsv
    L1 trigger - audits mempool / transaction pool for eviction asymmetries, replacement policy abuse, blob-pool exhaustion, and DETER-class denial of service.
    0
    installs
  43. ▌
    Write Error Divergence · plamentsv
    L1 trigger - audits file/database write paths for metadata commits, cache updates, and success returns that diverge when writes fail.
    0
    installs
  44. ▌
    Lending Protocol Security · plamentsv
    Protocol Type Trigger lending (detected when recon finds liquidate|borrow|repay|collateral|lend|loan|LTV|healthFactor|interestRate|debtToken) - Inject Into Breadth agents, depth...
    0
    installs
  45. ▌
    Gossip Cache Invariance · plamentsv
    L1 trigger - audits message and seen caches for write-after-validate ordering, eviction safety, and duplicate handling.
    0
    installs
  46. ▌
    Integration Hazard Research · plamentsv
    Protocol Type Trigger NAMED_EXTERNAL_PROTOCOL (detected when recon finds import/interface for an identifiable external protocol — not standard libraries). Researches known integration hazards of the target protocol.
    0
    installs
  47. ▌
    Cosmos Sdk Module Safety · plamentsv
    L1 trigger - audits Cosmos-SDK / CometBFT modules for consensus non-determinism, unmetered ABCI hooks, signer/state mismatches, module-account bookkeeping breaks, sdk.Dec rounding, ABCI-path panics, unregistered Msg handlers, and fee/gas overflow.
    0
    installs
  48. ▌
    Peer Scoring Correctness · plamentsv
    L1 trigger - audits peer reputation and scoring logic for symmetry, farming resistance, and penalty coverage.
    0
    installs
  49. ▌
    Account Abstraction Security · plamentsv
    Protocol Type Trigger account_abstraction (detected when ERC-4337 interfaces, EntryPoint, UserOperation, or Paymaster patterns found) - Inject Into Breadth agents, depth-external
    0
    installs
  50. ▌
    Consensus Math Correctness · plamentsv
    L1 trigger - audits consensus arithmetic for truncation, unused bounds, EMA direction, and threshold edge errors.
    0
    installs
  51. ▌
    Execution Client Hardening · plamentsv
    L1 trigger - audits execution engine (EVM interpreter, WASM, SVM) for memory corruption, gas mispricing (EXTCODESIZE class), opcode semantics, and VM invariant breaks.
    0
    installs
  52. ▌
    Consensus Safety Invariants · plamentsv
    L1 trigger - detects non-determinism, state transition completeness violations, and safety/liveness invariant breaks in consensus code. Inject into depth-consensus-invariant or depth-state-trace.
    0
    installs
  53. ▌
    Dependency Audit Nodeclient · plamentsv
    L1 supplement - audits Go modules and Rust crates for known vulnerabilities, outdated versions, supply chain risks, and replace/patch directives.
    0
    installs
  54. ▌
    Data Availability Enforcement · plamentsv
    L1 supplement - audits storage / data-availability chains (Arweave / Celestia-class) for unenforced data commitments: producer commits to data inclusion but the validator never verifies the data was actually published / gossiped / sampled.
    0
    installs
  55. ▌
    Cross Vm Serialization Conformance · plamentsv
    CROSS_VM_SERIALIZATION_CONFORMANCE
    0
    installs
  56. ▌
    Light Client Proof Verification · plamentsv
    L1 trigger - audits light client and cross-chain proof verification: Merkle proof soundness, ICS-23 subkey handling (Dragonberry class), state root checks, message integrity.
    0
    installs
  57. ▌
    Consensus Tx Identity Invariants · plamentsv
    L1 trigger - audits replay protection, transaction identity binding, and cross-layer uniqueness.
    0
    installs
  58. ▌
    Cross Environment Semantic Drift · plamentsv
    L1 trigger - audits L1/L2 boundary bugs, precompile context assumptions, integer width mismatches at environment boundaries, and EVM-on-non-EVM drift.
    0
    installs
  59. ▌
    Validator Lifecycle And Slashing · plamentsv
    L1 trigger - audits validator entry/exit transitions, slashing correctness, leader-duplicate handling, and lifecycle state invariants for PoS / DPoS / BFT consensus clients.
    0
    installs
  60. ▌
    Hardfork Activation And Protocol Upgrade · plamentsv
    L1 trigger - audits bugs that surface only at fork boundaries / protocol upgrade points: activation logic, dormant code paths, upgrade epoch correctness, version gating.
    0
    installs