Protocol-V

Menaxa THREAT OS

AI Modules Loaded

AI Skills Explorer

Specialized smart contract auditing contexts for Claude & Cursor.

Platform
Category
claudecursor
Contract Auditing

audit-context-building

Ultra-granular code analysis for building audit context before vulnerability finding.

EVMGovernanceTokenomics
claudecursor
Protocol Analysis

building-secure-contracts

Vulnerability detection across 6 blockchains using Trail of Bits toolchain.

TokenomicsAccess ControlDeFiLogic Flaw
claudecursor
Contract Auditing

differential-review

Security-focused diff analysis between two versions of a contract codebase.

TokenomicsZero-Knowledge
claudecursor
Contract Auditing

entry-point-analyzer

Maps all state-changing entry points by access level for audit scoping.

Logic FlawReentrancyDeFiMEV
claudecursor
Protocol Analysis

semgrep-rule-creator

Generates custom Semgrep rules for vulnerability pattern detection.

GovernanceOpSec
claudecursor
Protocol Analysis

variant-analysis

Hunts bug variants across a codebase after finding an initial vulnerability.

InvariantMEVTokenomicsLogic Flaw
claude
Contract Auditing

solidity-auditor

Fast (<5 min) dev-time Solidity security check by Pashov Audit Group.

EVMAccess ControlTokenomics
claudecursor
Protocol Analysis

solskill

Production Solidity dev standards by Patrick Collins / Cyfrin.

ReentrancyOpSec
claudecursor
Protocol Analysis

scv

4-phase Solidity scanner covering 36 vulnerability classes with deep reference files.

InvariantTokenomicsDeFi
claudegithub-copilotgeminicodex
Protocol Analysis

infrastructure-security-audit

Infrastructure security audit for Docker, K8s, cloud configs and IaC.

TokenomicsEVMGovernanceAccess Control
claudegithub-copilotgeminicodex
Contract Auditing

smart-contract-security-audit

Multi-platform SC audit skill generating triaged reports with PoC story flow graphs.

InvariantDeFiAccess Control
claudecursor
Contract Auditing

behavioral-state-analysis

Full-spectrum audit with behavioral decomposition, threat modeling, and Bayesian scoring.

TokenomicsDeFiAccess Control
claudecursor
Protocol Analysis

dos-griefing-analysis

DoS and griefing detection including gas griefing, storage bloat, and self-destruct attacks.

Access ControlInvariant
claudecursor
Protocol Analysis

oracle-flashloan-analysis

Oracle manipulation and flash loan attack detection with oracle trust model classification.

DeFiMEVEVMTokenomics
claudecursor
Protocol Analysis

proxy-upgrade-safety

Proxy upgrade safety: storage collisions, selector clashing, uninitialized implementations.

Access ControlDeFi
claudecursor
Protocol Analysis

reentrancy-pattern-analysis

Full reentrancy variant detection including cross-contract and ERC-777/ERC-1155 callbacks.

OracleAccess Control
claudecursor
Protocol Analysis

signature-replay-analysis

Detects all 5 signature replay variants including cross-chain and EIP-712 issues.

Access ControlDeFi
claudecursor
Protocol Analysis

state-invariant-detection

Mathematical invariant inference — finds functions that break them.

EVMZero-Knowledge
claudecodex
Contract Auditing

security-auditor

Map-Hunt-Attack workflow with Slither, Aderyn, and Solodit MCP integration.

InvariantLogic FlawReentrancyOracle
claudecodex
Protocol Analysis

hackenproof-triage-marketplace

HackenProof bug bounty triage: scope validation, duplicate check, severity classification.

EVMAccess ControlOpSecInvariant
claude
Protocol Analysis

audit-lending

Lending protocol security: interest rate manipulation, collateral management, liquidation logic.

TokenomicsDeFiInvariant
claude
Protocol Analysis

audit-liquidation

Liquidation mechanism security: economic exploits, MEV extraction, incentive misalignment.

Logic FlawFlash LoanOracleReentrancy
claude
Protocol Analysis

audit-math-precision

Arithmetic security: precision loss, rounding exploitation, ERC4626 inflation attacks.

EVMOracle
claude
Protocol Analysis

audit-oracle

Oracle security: price manipulation, stale data, single-source risks.

InvariantOpSecAccess ControlGovernance
claude
Protocol Analysis

audit-reentrancy

Reentrancy audit: classic, cross-function, external call patterns, CEI compliance.

Flash LoanInvariantZero-Knowledge
claude
Protocol Analysis

audit-signature

Signature security: EIP-712, ecrecover misuse, replay attacks, malleability.

Access ControlEVM
claude
Protocol Analysis

audit-slippage

DEX slippage: sandwich attacks, missing params, deadline validation, MEV.

TokenomicsOpSec
claude
Protocol Analysis

audit-staking

Staking security: reward distribution, slashing, reward token manipulation.

OpSecFlash LoanTokenomics
claudecursor
Threat Detection

Agentic Actions Auditor

A specialized AI skill from Trail of Bits repository.

DeFiMEV
claudecursor
Threat Detection

Burpsuite Project Parser

A specialized AI skill from Trail of Bits repository.

Access ControlDeFi
claudecursor
Threat Detection

Fp Check

A specialized AI skill from Trail of Bits repository.

InvariantEVMAccess ControlGovernance
claudecursor
Threat Detection

Insecure Defaults

A specialized AI skill from Trail of Bits repository.

InvariantOracleEVMFlash Loan
claudecursor
Threat Detection

Semgrep Rule Variant Creator

A specialized AI skill from Trail of Bits repository.

Access ControlZero-KnowledgeMEV
claudecursor
Threat Detection

Sharp Edges

A specialized AI skill from Trail of Bits repository.

DeFiAccess Control
claudecursor
Threat Detection

Static Analysis

A specialized AI skill from Trail of Bits repository.

Flash LoanLogic Flaw
claudecursor
Threat Detection

Supply Chain Risk Auditor

A specialized AI skill from Trail of Bits repository.

Zero-KnowledgeTokenomics
claudecursor
Threat Detection

Testing Handbook Skills

A specialized AI skill from Trail of Bits repository.

ReentrancyMEVTokenomics
claudecursor
Threat Detection

Yara Authoring

A specialized AI skill from Trail of Bits repository.

OpSecAccess ControlTokenomics
claudecursor
Threat Detection

Constant Time Analysis

A specialized AI skill from Trail of Bits repository.

EVMOpSecMEV
claudecursor
Threat Detection

Property Based Testing

A specialized AI skill from Trail of Bits repository.

EVMOpSecOracle
claudecursor
Threat Detection

Spec To Code Compliance

A specialized AI skill from Trail of Bits repository.

Zero-KnowledgeOpSecAccess Control
claudecursor
Threat Detection

Zeroize Audit

A specialized AI skill from Trail of Bits repository.

ReentrancyLogic Flaw
claudecursor
Threat Detection

Dwarf Expert

A specialized AI skill from Trail of Bits repository.

Logic FlawInvariant
claudecursor
Threat Detection

Firebase Apk Scanner

A specialized AI skill from Trail of Bits repository.

OpSecTokenomics
claudecursor
Threat Detection

Ask Questions If Underspecified

A specialized AI skill from Trail of Bits repository.

Flash LoanGovernance
claudecursor
Threat Detection

Devcontainer Setup

A specialized AI skill from Trail of Bits repository.

Zero-KnowledgeMEVReentrancy
claudecursor
Threat Detection

Gh Cli

A specialized AI skill from Trail of Bits repository.

Zero-KnowledgeEVMReentrancyMEV
claudecursor
Threat Detection

Git Cleanup

A specialized AI skill from Trail of Bits repository.

ReentrancyDeFiOracleTokenomics
claudecursor
Threat Detection

Let Fate Decide

A specialized AI skill from Trail of Bits repository.

EVMDeFi
claudecursor
Threat Detection

Modern Python

A specialized AI skill from Trail of Bits repository.

OpSecTokenomicsFlash Loan
claudecursor
Threat Detection

Seatbelt Sandboxer

A specialized AI skill from Trail of Bits repository.

Zero-KnowledgeOpSec
claudecursor
Threat Detection

Second Opinion

A specialized AI skill from Trail of Bits repository.

ReentrancyDeFi
claudecursor
Threat Detection

Skill Improver

A specialized AI skill from Trail of Bits repository.

Logic FlawZero-KnowledgeEVMGovernance
claudecursor
Threat Detection

Workflow Skill Design

A specialized AI skill from Trail of Bits repository.

InvariantAccess ControlOracleMEV
claudecursor
Threat Detection

Culture Index

A specialized AI skill from Trail of Bits repository.

OpSecOracleAccess Control
claudecursor
Threat Detection

Claude In Chrome Troubleshooting

A specialized AI skill from Trail of Bits repository.

Access ControlReentrancyInvariant
claudecursor
Threat Detection

Debug Buttercup

A specialized AI skill from Trail of Bits repository.

DeFiInvariantOracleFlash Loan