Works with the AI Agents you already use

    Claude CodeClaude CodeCursorCursorCodex CLICodex CLIDeepSeekDeepSeekMuseMuse+22 more

    Smart Contract Reentrancy & Bytecode Vulnerability Auditor

    1

    Smart contract security auditor for Solidity and Rust (Solana Anchor). Detects reentrancy loops, flash-loan oracle exploits, and missing signer validations.

    $69

    Secure checkout via Stripe

    Money-back guarantee

    Converts to your local currency at checkout

    Security scanned
    Smart Contract Reentrancy & Bytecode Vulnerability Auditor

    Smart Contract Reentrancy & Bytecode Vulnerability Auditor

    Example session with this skill installed

    Audit contracts/VaultMaster.sol: check for Checks-Effects-Interactions compliance, reentrancy vulnerabilities, oracle manipulation risks, and access control.

    • Read your context and instructions
    • Compiled the smart contract reentrancy

    Smart Contract Security Audit Dossier flagging a critical cross-function reentrancy on line 64 and flash loan price oracle manipulation on line 104 with precise remediation code.

    Connects securely to your tools. The creator never sees your data.

    About this skill

    Smart Contract Reentrancy & Bytecode Vulnerability Auditor

    The Smart Contract Reentrancy & Bytecode Vulnerability Auditor is an institutional-grade static analysis and formal verification engine built to audit smart contracts across Solidity (Ethereum, Arbitrum, Base, Polygon, BSC) and Rust (Solana Anchor). It identifies critical vulnerabilities before mainnet deployment, eliminating protocol drains and expensive third-party audit delays.

    Key Capabilities

    • Comprehensive Reentrancy Detection: Audits classic single-function, cross-function, and read-only reentrancy vectors across Solidity and Anchor CPIs.
    • Flash-Loan Oracle Manipulation Sentry: Detects vulnerable spot-reserve pricing and enforces Chainlink/TWAP decentralized oracle standards.
    • Solana Anchor Constraint Validation: Verifies Signer<'info> authorization, account ownership, and PDA canonical bump derivations.
    • Low-Level Call & Proxy Collision Scanner: Flags unchecked low-level calls (call, delegatecall) and UUPS proxy storage slot collisions.
    • Precise Remediation Code: Provides copy-paste drop-in patches for every flagged vulnerability.
    • 100% Offline & Private: Proprietary smart contract source code and bytecode are audited strictly in local memory with zero external transmission.

    Find more skills like this on the Claude Skills Marketplace, the Codex Skills Marketplace and the Gemini Skills Marketplace, or browse Claude Skills for Security.

    How to use

    1. 1

      Connect your agent to the Agensi MCP

      Copy the prompt and paste it into Claude, ChatGPT, Cursor or any agent that supports MCP. It sets up the connection for you. Manual setup

    2. 2

      Sign in to Agensi

      Your agent shows a sign-in link. Sign in and click Allow.

    3. 3

      Ask for what you need

      Your agent loads this skill and uses it on your task. It always asks before buying a skill.

    Reviews

    No reviews yet

    Be one of the first to try it. Every listed skill goes through the trust checks below.

    Security scanned

    Checked by our 8-point scan before listing

    Fresh listing

    Recently published to Agensi

    Money-back guarantee

    Doesn't do what its page promises? You get your money back.

    Trust & safety

    Security scan

    Security scan passed 7 days ago

    Permissions

    File Scopes

    .

    100% offline static analysis and AST verification. Zero blockchain network requests, zero private key or seed phrase dependencies.

    Listed7 days ago

    What's inside

    Frequently Asked Questions

    Solidity (EVM chains including Ethereum, Arbitrum, Base, Optimism, Polygon, BSC) and Rust (Solana Anchor framework).

    No. Static code analysis and formal AST checking execute 100% locally on your machine.

    Yes. It specifically evaluates external view functions that query balance or LP pricing state during incomplete state modifications.

    New in Security