PlamenTSV

109 mods across 1 repository, 306 stars between them.

PlamenTSV/plamen

Skill Claude CodeCodex

Trigger SHAREALLOCATION flag detected in pattern scan - Used by Breadth agents, depth-edge-case.

not rated 306 +3 20d ago A SkillSpector: pass 26 tokens original MIT

PlamenTSV/plamen

Skill Claude CodeCodex

Trigger Pattern TEMPORAL flag (required) - Inject Into Breadth agents, depth-state-trace.

not rated 306 +3 20d ago A SkillSpector: warn 28 tokens original MIT

token-flow-tracing

27

PlamenTSV/plamen

Skill Claude CodeCodex

Trigger Pattern BALANCEDEPENDENT flag (required) - Inject Into Depth-token-flow, breadth agents.

not rated 306 +3 20d ago A SkillSpector: pass 25 tokens original MIT

type-safety

28

PlamenTSV/plamen

Skill Claude CodeCodex

Trigger Pattern Always (Aptos Move) - generic type exploitation - Inject Into Breadth agents, depth-state-trace.

not rated 306 +3 20d ago A SkillSpector: pass 28 tokens original MIT

PlamenTSV/plamen

Skill Claude CodeCodex

How to prove a hypothesis is TRUE or FALSE using Move unit tests.

not rated 306 +3 20d ago A SkillSpector: pass 18 tokens original MIT

zero-state-return

30

PlamenTSV/plamen

Skill Claude CodeCodex

Trigger Pattern Vault/pool/first-depositor pattern detected - Inject Into Depth-edge-case.

not rated 306 +3 20d ago A SkillSpector: pass 21 tokens original MIT

authorization-model

31

PlamenTSV/plamen

Skill Claude CodeCodex

Trigger Pattern Always required for DAML audits - Inject Into Breadth agents, depth-state-trace, depth-external.

not rated 306 +3 20d ago A SkillSpector: pass 26 tokens original MIT

choice-semantics

32

PlamenTSV/plamen

Skill Claude CodeCodex

Trigger Pattern Always required for DAML audits - Inject Into Breadth agents, depth-state-trace, depth-edge-case.

not rated 306 +3 20d ago A SkillSpector: pass 28 tokens original MIT

PlamenTSV/plamen

Skill Claude CodeCodex

Trigger Pattern Always required for DAML audits - Inject Into Breadth agents, depth-external, depth-edge-case.

not rated 306 +3 20d ago A SkillSpector: pass 28 tokens original MIT

contract-key-safety

34

PlamenTSV/plamen

Skill Claude CodeCodex

Trigger Pattern Always required for DAML audits (self-skips if no template defines a key) - Inject Into Breadth agents, depth-state-trace.

not rated 306 +3 20d ago A SkillSpector: pass 35 tokens original MIT

ensure-invariants

35

PlamenTSV/plamen

Skill Claude CodeCodex

Trigger Pattern Always required for DAML audits - Inject Into Breadth agents, depth-edge-case.

not rated 306 +3 20d ago A SkillSpector: pass 22 tokens original MIT

locking-semantics

36

PlamenTSV/plamen

Skill Claude CodeCodex

Trigger Pattern Always required for DAML audits (self-skips if no lock pattern present) - Inject Into Breadth agents, depth-state-trace, depth-edge-case.

not rated 306 +3 20d ago A SkillSpector: pass 38 tokens original MIT

privacy-disclosure

37

PlamenTSV/plamen

Skill Claude CodeCodex

Trigger Pattern Always required for DAML audits - Inject Into Breadth agents, depth-edge-case.

not rated 306 +3 20d ago A SkillSpector: pass 22 tokens original MIT

PlamenTSV/plamen

Skill Claude CodeCodex

Type Thought-template (instantiate before use) - Trigger Pattern CROSSCHAINMSG flag detected (protocol RECEIVES cross-chain messages).

not rated 306 +3 20d ago A SkillSpector: warn 30 tokens original MIT

event-correctness

39

PlamenTSV/plamen

Skill Claude CodeCodex

Trigger 15 events detected in recon eventdefinitions.md (optional skill) - Used By breadth agents (assigned to core state or dedicated agent).

not rated 306 +3 20d ago A SkillSpector: pass 34 tokens original MIT

PlamenTSV/plamen

Skill Claude CodeCodex

Type Thought-template (instantiate before use) - Research basis Donation attacks via unsolicited token transfers.

not rated 306 +3 20d ago A SkillSpector: warn 24 tokens original MIT

PlamenTSV/plamen

Skill Claude CodeCodex

Type Thought-template (instantiate before use) - Trigger Pattern STORAGELAYOUT flag detected.

not rated 306 +3 20d ago A SkillSpector: warn 20 tokens original MIT

PlamenTSV/plamen

Skill Claude CodeCodex

Protocol Type Trigger accountabstraction (detected when ERC-4337 interfaces, EntryPoint, UserOperation, or Paymaster patterns found) - Inject Into Breadth agents, depth-external.

not rated 306 +3 20d ago A SkillSpector: warn 43 tokens original MIT

PlamenTSV/plamen

Skill Claude CodeCodex

CROSSCHAINMESSAGEINTEGRITY audits messages the contract RECEIVES (decode, auth, replay). It does NOT audit whether the bytes the contract PRODUCES on the EVM side match the layout the destination VM expects. An EVM contract that packs a Solana account list, a Borsh struct, or a Bitcoin script with the wrong field…

not rated 306 +3 20d ago A SkillSpector: pass 0 tokens original MIT

PlamenTSV/plamen

Skill Claude CodeCodex

Protocol Type Trigger dexintegration (detected when recon finds swap|addLiquidity|removeLiquidity|IUniswapV2Router|ISwapRouter|amountOutMin|amountOutMinimum|slippage - AND the...

not rated 306 +3 20d ago A SkillSpector: pass 50 tokens original MIT

PlamenTSV/plamen

Skill Claude CodeCodex

Protocol Type Trigger governance (detected when Governor, Timelock, voting, proposal, quorum, delegate patterns found) - Inject Into Breadth agents, depth-external, depth-edge-case.

not rated 306 +3 20d ago A SkillSpector: warn 46 tokens original MIT

PlamenTSV/plamen

Skill Claude CodeCodex

Protocol Type Trigger NAMEDEXTERNALPROTOCOL (detected when recon finds import/interface for an identifiable external protocol — not standard libraries). Researches known integration hazards of the target protocol.

not rated 306 +3 20d ago A SkillSpector: warn 41 tokens original MIT

PlamenTSV/plamen

Skill Claude CodeCodex

L1 trigger - audits BLS signature aggregation: subgroup check, rogue-key attack defense, aggregation order, signing-domain separation.

not rated 306 +3 20d ago A SkillSpector: pass 32 tokens original MIT

config-correctness

48

PlamenTSV/plamen

Skill Claude CodeCodex

L1 trigger - audits configuration constants, documented bounds, feature-gated values, and unused protocol limits for semantic drift.

not rated 306 +3 20d ago A SkillSpector: warn 29 tokens original MIT

At most 3 mods per repository are shown here, and a mod shipped inside a plugin is left to that plugin's page — the rest are on their repository pages: