All authors
Claude Skills by PlamenTSV
github.com/PlamenTSV160 skills0 installs215 views
- Economic Design AuditTrigger Pattern MONETARY_PARAMETER flag (required) - Inject Into Breadth agents (merged via M6 hierarchy)Votes: 0GitHub stars: 281
- External Precondition AuditTrigger Pattern Any external contract interaction detected in attack_surface.md - Inject Into Breadth agents (merged via M7 hierarchy)Votes: 0GitHub stars: 281
- Flash Loan InteractionTrigger Pattern FLASH_LOAN flag (required) or BALANCE_DEPENDENT flag (optional complement) - Inject Into Breadth agents, depth-token-flow, depth-edge-caseVotes: 0GitHub stars: 281
- Fork AncestryTrigger Pattern Always (run during recon TASK 0, not breadth) - Inject Into Recon agent only (meta_buffer.md enrichment)Votes: 0GitHub stars: 281
- Migration AnalysisTrigger Protocol has migration patterns (reinitializer, V2/V3, deprecated, upgrade, legacy) - Covers Token type mismatches, stranded assets, interface incompatibilitiesVotes: 0GitHub stars: 281
- Oracle AnalysisTrigger Pattern ORACLE flag (required) - Inject Into Breadth agents, depth-external, depth-edge-caseVotes: 0GitHub stars: 281
- Semi Trusted RolesType Thought-template (instantiate before use) - Research basis Insider threat modeling, keeper/bot abuse vectorsVotes: 0GitHub stars: 281
- Share Allocation FairnessTrigger SHARE_ALLOCATION flag detected in pattern scan - Used by Breadth agents, depth-edge-caseVotes: 0GitHub stars: 281
- Temporal Parameter StalenessType Thought-template (instantiate before use) - Research basis Cached parameters in multi-step operations become stale when governance changes them mid-operationVotes: 0GitHub stars: 281
- Token Flow TracingPerforms 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.Votes: 0GitHub stars: 281
- Verification ProtocolHow to prove a hypothesis is TRUE or FALSE using Foundry tests.Votes: 0GitHub stars: 281
- Zero State ReturnTrigger Always inject into Arithmetic agent (extends existing ZERO_STATE_ECONOMICS) - Purpose Check protocol return-to-zero state, not just initial zero stateVotes: 0GitHub stars: 281
- Cross Vm Serialization Conformance> **Trigger**: `NON_EVM_TARGET` flag (recon detects a non-EVM destination — Solana/Bitcoin/Move/Cosmos — via 32-byte pubkey constants, base58/bech32 handling, custom account/byte encoders (account-meta packers, Borsh-style packing), or a foreign chain-id/program-id). > **Inject Into**: breadth agent owning the cross-chain/encoding focus, and depth-external. > **Protocol Types**: any contract that SERIALIZES data on the EVM side for consumption by a DIFFERENT VM (cross-chain bridges, general c...Votes: 0GitHub stars: 281
- Cosmos Ibc SecurityL1 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.Votes: 0GitHub stars: 281
- Cosmos Sdk Module SafetyL1 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.Votes: 0GitHub stars: 281
- Centralization RiskTrigger Pattern Protocol has privileged authorities (upgrade authority, admin, operator, governance, multisig) - Inject Into Breadth agents (optional), depth-state-traceVotes: 0GitHub stars: 281
- Cross Chain TimingTrigger Pattern wormhole|allbridge|debridge|bridge|cross_chain|vaa|guardian|emitter|LayerZero|CCIP|nonce.sequence|relay - Inject Into Breadth agents, depth-externalVotes: 0GitHub stars: 281
- Economic Design AuditTrigger Pattern MONETARY_PARAMETER flag (required) - Inject Into Breadth agents (merged via M4 hierarchy)Votes: 0GitHub stars: 281
- External Precondition AuditTrigger Pattern Any CPI (Cross-Program Invocation) detected in program - Inject Into Breadth agents (merged via M5 hierarchy)Votes: 0GitHub stars: 281
- Flash Loan InteractionTrigger Pattern FLASH_LOAN flag (required) or BALANCE_DEPENDENT flag (optional complement) - Inject Into Breadth agents, depth-token-flow, depth-edge-caseVotes: 0GitHub stars: 281
- Fork AncestryTrigger Pattern Always (run during recon TASK 0, not breadth) - Inject Into Recon agent only (meta_buffer.md enrichment)Votes: 0GitHub stars: 281
- Migration AnalysisTrigger Pattern Program upgrades, account data layout changes, deprecated instructions, token migrations - Inject Into Breadth agents, depth-state-traceVotes: 0GitHub stars: 281
- Semi Trusted RolesTrigger Pattern Crank/bot/operator signer checks, authority-gated instructions - Inject Into Breadth agents, depth-state-traceVotes: 0GitHub stars: 281
- Share Allocation FairnessTrigger Pattern SHARE_ALLOCATION flag detected in pattern scan - Inject Into Breadth agents, depth-edge-caseVotes: 0GitHub stars: 281
- Temporal Parameter StalenessTrigger Pattern interval|epoch|period|duration|delay|cooldown|lock_period|timelock|unbonding|claim_delay|withdraw_delay|maturity - Inject Into Breadth agents, depth-state-traceVotes: 0GitHub stars: 281
- Token Flow TracingTrigger Pattern SPL token CPI transfers, token_account.amount, invoke/invoke_signed, Transfer/TransferChecked - Inject Into Lifecycle, External-Env agentsVotes: 0GitHub stars: 281
- Verification ProtocolTrigger Pattern Always (used by all verifier agents) - Inject Into security-verifier agents (Phase 5)Votes: 0GitHub stars: 281
- Zero State ReturnTrigger Always inject into Arithmetic agent (extends existing ZERO_STATE_ECONOMICS) - Purpose Check protocol return-to-zero state, not just initial zero stateVotes: 0GitHub stars: 281
- Centralization RiskTrigger Pattern Protocol has privileged authorities (admin, operator, upgrade authority, governance) - Inject Into Breadth agents (optional), depth-state-traceVotes: 0GitHub stars: 281
- Cross Chain TimingTrigger Pattern stellar_bridge|soroban_bridge|horizon|anchor_protocol|bridge|cross_chain|relay|wormhole|allbridge|debridge|axelar|LayerZero|sequence|emitter - Inject Into Breadth agents, depth-externalVotes: 0GitHub stars: 281
- Economic Design AuditTrigger Pattern MONETARY_PARAMETER flag (fee, rate, emission, cap, bps values) - Inject Into Breadth agents (merged via M4 hierarchy)Votes: 0GitHub stars: 281
- External Precondition AuditTrigger Pattern Any env.invoke_contract() or env.try_invoke_contract() detected in contract - Inject Into Breadth agentsVotes: 0GitHub stars: 281
- Flash Loan InteractionTrigger Pattern FLASH_LOAN flag (required) or BALANCE_DEPENDENT flag (optional complement) - Inject Into Breadth agents, depth-token-flow, depth-edge-caseVotes: 0GitHub stars: 281
- Fork AncestryTrigger Pattern Always (run during recon TASK 0, not breadth) - Inject Into Recon agent only (meta_buffer.md enrichment)Votes: 0GitHub stars: 281
- Migration AnalysisTrigger Pattern Contract upgrades via update_current_contract_wasm, storage migration, deprecated functions, token migrations - Inject Into Breadth agents, depth-state-traceVotes: 0GitHub stars: 281
- Semi Trusted RolesTrigger Pattern operator/keeper/crank require_auth checks, authority-gated functions - Inject Into Breadth agents, depth-state-traceVotes: 0GitHub stars: 281
- Share Allocation FairnessTrigger Pattern SHARE_ALLOCATION flag detected in pattern scan - Inject Into Breadth agents, depth-edge-caseVotes: 0GitHub stars: 281
- Temporal Parameter StalenessTrigger Pattern interval|period|duration|delay|cooldown|lock_period|timelock|unbonding|claim_delay|withdraw_delay|maturity|ledger_sequence|timestamp - Inject Into Breadth agents, depth-state-traceVotes: 0GitHub stars: 281
- Token Flow TracingTrigger Pattern SEP-41 token transfers, TokenClient::new, transfer/transfer_from/burn, XLM native balance - Inject Into Lifecycle, External-Env agentsVotes: 0GitHub stars: 281
- Verification ProtocolTrigger Pattern Always (used by all verifier agents) - Inject Into security-verifier agents (Phase 5)Votes: 0GitHub stars: 281
- Zero State ReturnTrigger Always inject into Arithmetic agent (extends existing ZERO_STATE_ECONOMICS) - Purpose Check protocol return-to-zero state, not just initial zero stateVotes: 0GitHub stars: 281
- Ability AnalysisTrigger Pattern Always (Sui Move) -- foundational security check - Inject Into Breadth agents, depth agentsVotes: 0GitHub stars: 281
- Bit Shift SafetyTrigger Pattern Always (Sui Move) -- Move VM aborts on shift = bit width - Inject Into Breadth agents, depth-edge-caseVotes: 0GitHub stars: 281
- Centralization RiskTrigger Pattern Protocol has privileged capabilities (AdminCap, OwnerCap, UpgradeCap, TreasuryCap, custom caps) - Inject Into Breadth agents (optional), depth-state-traceVotes: 0GitHub stars: 281
- Cross Chain TimingType Thought-template (instantiate before use) - Trigger Pattern bridge|wormhole|axelar|layerzero|sui_bridge|cross_chain|relay|vaa|guardian|emitter|ccipVotes: 0GitHub stars: 281
- Dependency AuditTrigger Pattern EXTERNAL_LIB flag (third-party Move dependencies detected in Move.toml beyond Sui framework) - Inject Into Breadth agents, depth-externalVotes: 0GitHub stars: 281
- Economic Design AuditTrigger Pattern MONETARY_PARAMETER flag (required) - Inject Into Breadth agents (merged via M4 hierarchy)Votes: 0GitHub stars: 281
- External Precondition AuditTrigger Pattern Any external package function call detected in program - Inject Into Breadth agents (merged via M5 hierarchy)Votes: 0GitHub stars: 281
- Flash Loan InteractionTrigger Pattern FLASH_LOAN flag (required) or BALANCE_DEPENDENT flag (optional complement) - Inject Into Breadth agents, depth-token-flow, depth-edge-caseVotes: 0GitHub stars: 281
- Fork AncestryTrigger Pattern Always (run during recon TASK 0, not breadth) - Inject Into Recon agent only (meta_buffer.md enrichment)Votes: 0GitHub stars: 281