All authors
Claude Skills by PlamenTSV
github.com/PlamenTSV160 skills0 installs215 views
- Validator Lifecycle And SlashingL1 trigger - audits validator entry/exit transitions, slashing correctness, leader-duplicate handling, and lifecycle state invariants for PoS / DPoS / BFT consensus clients.Votes: 0GitHub stars: 281
- Write Error DivergenceL1 trigger - audits file/database write paths for metadata commits, cache updates, and success returns that diverge when writes fail.Votes: 0GitHub stars: 281
- Lending Protocol SecurityProtocol Type Trigger lending (detected when recon finds liquidate|borrow|repay|collateral|lend|loan|LTV|healthFactor|interestRate|debtToken) - Inject Into Breadth agents, depth...Votes: 0GitHub stars: 281
- Nft Protocol SecurityProtocol Type Trigger nft (detected when ERC721/ERC1155 with marketplace, minting, staking, or collateral logic found) - Inject Into Breadth agents, depth-token-flow, depth-edge...Votes: 0GitHub stars: 281
- Outcome DeterminismProtocol Type Trigger outcome_determinism - detected when EITHER of these code patterns are present - - Selection from finite depletable pool with fallback behavior (while(full)...Votes: 0GitHub stars: 281
- Vault AccountingProtocol Type Trigger vault (detected in recon TASK 0 Step 1) - Inject Into Core state agent OR economic design agent (merge via M4 hierarchy)Votes: 0GitHub stars: 281
- Callback Receiver SafetyNiche agent for callback receiver safety: access control on implemented callback handlers, permissionless state inflation via callbacks, and selective revert exploitationVotes: 0GitHub stars: 281
- Dimensional AnalysisTrigger MIXED_DECIMALS flag (mulDiv/mulWad/rayMul + mixed scale factors detected) - standalone niche agent, 1 budget slotVotes: 0GitHub stars: 281
- Event CompletenessTrigger MISSING_EVENT flag in template_recommendations.md (recon detects admin/state-changing functions without events) - Agent Type general-purpose (standalone niche agent, NOT...Votes: 0GitHub stars: 281
- Multi Step Operation SafetyNiche agent for multi-step operation safety: authorization sequence conflicts in batch/multi-step operations, and infrastructure address targeting via public on-behalf-of functionsVotes: 0GitHub stars: 281
- Semantic Consistency AuditTrigger HAS_MULTI_CONTRACT flag in template_recommendations.md (recon detects 2+ in-scope contracts/modules sharing parameters or formulas) - Agent Type general-purpose (standal...Votes: 0GitHub stars: 281
- Semantic Gap InvestigatorTrigger 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...Votes: 0GitHub stars: 281
- Signature Verification AuditTrigger HAS_SIGNATURES flag in template_recommendations.md (recon detects signature verification patterns - see chain-specific grep patterns in TASK 6) - Agent Type general-purp...Votes: 0GitHub stars: 281
- Spec Compliance AuditTrigger 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...Votes: 0GitHub stars: 281
- Stableswap ComplianceTrigger 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)Votes: 0GitHub stars: 281
- Account LifecycleTrigger Pattern ACCOUNT_CLOSING flag detected (close/CloseAccount usage) - Inject Into Breadth agents, depth agentsVotes: 0GitHub stars: 281
- Account ValidationTrigger Pattern Always required for Solana audits - Inject Into Breadth agents, depth agentsVotes: 0GitHub stars: 281
- Cpi SecurityTrigger Pattern CPI flag detected (invoke/invoke_signed/CpiContext usage) - Inject Into Breadth agents, depth agentsVotes: 0GitHub stars: 281
- Instruction IntrospectionTrigger Pattern INSTRUCTION_INTROSPECTION flag detected (load_instruction_at/Sysvar1nstructions) - Inject Into Breadth agents, depth agentsVotes: 0GitHub stars: 281
- Pda SecurityTrigger Pattern PDA flag detected (seeds/bump/find_program_address usage) - Inject Into Breadth agents, depth agentsVotes: 0GitHub stars: 281
- Token 2022 ExtensionsTrigger Pattern TOKEN_2022 flag detected (token_2022/spl_token_2022/transfer_checked usage) - Inject Into Breadth agents, depth agentsVotes: 0GitHub stars: 281
- Trident Api ReferenceType Reference document (prevents method signature hallucination) - Trigger trident_available true in build_status.mdVotes: 0GitHub stars: 281
- Auth ValidationTrigger Pattern Always required for Soroban audits - Inject Into Breadth agents, depth agentsVotes: 0GitHub stars: 281
- Contract UpgradeabilityTrigger Pattern update_current_contract_wasm detected in codebase - Inject Into Breadth agents, depth-state-traceVotes: 0GitHub stars: 281
- Custom Type SafetyTrigger Pattern contractimport! or contracttype detected - Inject Into Breadth agents, depth-externalVotes: 0GitHub stars: 281
- Overflow SafetyTrigger Pattern Always required for Soroban audits - Inject Into Breadth agents, depth-edge-caseVotes: 0GitHub stars: 281
- Sep41 Token SafetyTrigger Pattern SEP-41 token patterns detected (approve/transfer/transfer_from/allowance/balance) - Inject Into Breadth agents, depth-token-flow, depth-edge-caseVotes: 0GitHub stars: 281
- Storage LifecycleTrigger Pattern Always required for Soroban audits - Inject Into Breadth agents, depth agentsVotes: 0GitHub stars: 281
- Object OwnershipTrigger Pattern Always required for Sui Move audits -- object lifecycle and ownership model - Inject Into Breadth agents, depth-state-trace, depth-token-flowVotes: 0GitHub stars: 281
- Package Version SafetyTrigger Pattern PACKAGE_UPGRADE flag (UpgradeCap detected, multiple package versions, upgrade policy references) - Inject Into Breadth agents, depth-externalVotes: 0GitHub stars: 281
- Ptb ComposabilityTrigger Pattern PTB flag (always for Sui -- Programmable Transaction Blocks are the Sui transaction model) - Inject Into Breadth agents, depth-external, depth-state-traceVotes: 0GitHub stars: 281
- Plamen L1 WizardRun the Plamen L1 infrastructure audit wizard in CodexVotes: 0GitHub stars: 281
- Plamen L1Launch the Plamen deterministic L1 infrastructure audit pipelineVotes: 0GitHub stars: 281
- Plamen WizardRun the Plamen smart-contract audit wizard in CodexVotes: 0GitHub stars: 281
- PlamenLaunch the Plamen deterministic Web3 security audit pipelineVotes: 0GitHub stars: 281
- Audit PrepPrepare 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.Votes: 0GitHub stars: 281
- Authorization ModelTrigger Pattern Always required for DAML audits - Inject Into Breadth agents, depth-state-trace, depth-externalVotes: 0GitHub stars: 281
- Choice SemanticsTrigger Pattern Always required for DAML audits - Inject Into Breadth agents, depth-state-trace, depth-edge-caseVotes: 0GitHub stars: 281
- Cid Capability SafetyTrigger Pattern Always required for DAML audits - Inject Into Breadth agents, depth-external, depth-edge-caseVotes: 0GitHub stars: 281
- Contract Key SafetyTrigger Pattern Always required for DAML audits (self-skips if no template defines a key) - Inject Into Breadth agents, depth-state-traceVotes: 0GitHub stars: 281
- Economic Design AuditTrigger Pattern MONETARY_PARAMETER flag (fee, rate, emission, cap, bps as template fields) - Inject Into Breadth agents (merged via M4 hierarchy)Votes: 0GitHub stars: 281
- Ensure InvariantsTrigger Pattern Always required for DAML audits - Inject Into Breadth agents, depth-edge-caseVotes: 0GitHub stars: 281
- Locking SemanticsTrigger Pattern Always required for DAML audits (self-skips if no lock pattern present) - Inject Into Breadth agents, depth-state-trace, depth-edge-caseVotes: 0GitHub stars: 281
- Privacy DisclosureTrigger Pattern Always required for DAML audits - Inject Into Breadth agents, depth-edge-caseVotes: 0GitHub stars: 281
- Semi Trusted RolesTrigger Pattern operator/admin/manager parties listed as signatory or controller, authority-gated choices - 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|deadline|maturity|expiry|getTime - Inject Into Breadth agents, depth-state-traceVotes: 0GitHub stars: 281
- Verification ProtocolTrigger Pattern Always (used by all verifier agents) - Inject Into security-verifier agents (Phase 5)Votes: 0GitHub stars: 281
- Centralization RiskTrigger Protocol has privileged roles (admin, owner, operator, governance, multisig) - Covers Single points of failure, privilege escalation, external governance dependenciesVotes: 0GitHub stars: 281
- Cross Chain TimingType Thought-template (instantiate before use) - Research basis Multi-block arbitrage windows, bridge latency exploitationVotes: 0GitHub stars: 281