>_ vertox _
VERTOX::SYSTEM_ONLINE [ROBINHOOD_CHAIN::4663]

// OPEN_SOURCE :: EVM_SECURITY_TOOLCHAIN

VERTOX

Robinhood Chain smart-contract security
Solidity / Vyper scanning█

Audit Solidity and Vyper source, inspect deployed contracts, detect proxies, reverse EVM bytecode, recover selectors, inspect storage, and map control flow from one CLI.

$ git clone vertox ./ explore commands $ $VERTOX
VERTOX logo
vertox@local:~/robinhood/contracts bash
vertox@local:~/contracts$ █
SOLIDITY_SCAN//CONTRACT_INSPECTION//EVM_DISASSEMBLY//CFG_GENERATION//JSON_RPC//PROXY_DETECTION//SELECTOR_RECOVERY//STORAGE_INSPECTION// SOLIDITY_SCAN//CONTRACT_INSPECTION//EVM_DISASSEMBLY//CFG_GENERATION//JSON_RPC//PROXY_DETECTION//SELECTOR_RECOVERY//STORAGE_INSPECTION//

// 01 :: COMMAND_SURFACE

ONE BINARY.
FULL EVM ANALYSIS PATH.

[01/04]
01

scan

Scan Solidity and Vyper source with bundled or custom security rules.

$ vertox scan ./contracts
02

inspect

Inspect deployed bytecode, proxy slots, selectors, code hash, balance, and contract metadata.

$ vertox inspect 0xCONTRACT
03

fetch

Download deployed runtime bytecode directly from Robinhood Chain JSON-RPC.

$ vertox fetch 0xCONTRACT --out-dir ./out
04

reverse

Disassemble EVM bytecode and generate static control-flow graph output.

$ vertox reverse ./contract.bin --mode both
05

selectors

Calculate ABI selectors or recover PUSH4 selector constants from deployed bytecode.

$ vertox selectors --address 0xCONTRACT
06

storage

Read arbitrary storage and standard EIP-1967 implementation, admin, and beacon slots.

$ vertox storage 0xCONTRACT

// 02 :: ANALYSIS_PIPELINE

FROM SOURCE
TO RUNTIME BYTECODE.

[02/04]
0x01INGESTSolidity / Vyper / bytecode / RPC
0x02DECODEopcodes / selectors / metadata
0x03ANALYZErules / proxies / storage
0x04MAPfindings / CFG / contract intel
rules/evm/project_rule.tomlUTF-8 
01 id = "project-dangerous-call"
02 title = "Low-level external call"
03 severity = "high"
04 languages = ["solidity"]
05 pattern = '\.call\s*\{'
06 message = "Review low-level call"
07 recommendation = "Use a typed interface or validate return data."

// RULE_ENGINE :: TOML

EXTEND THE SCANNER.
KEEP THE CLI STABLE.

Readable rule files make project-specific checks easy to add without changing VERTOX itself. Built-in coverage focuses on common Solidity, Vyper, proxy, and low-level EVM risk patterns.

  • [+] tx.origin authentication
  • [+] delegatecall + low-level calls
  • [+] EIP-1967 proxy inspection
  • [+] unchecked arithmetic blocks
  • [+] SELFDESTRUCT + CREATE2 patterns
  • [+] Vyper raw_call review

// 03 :: BOOT_SEQUENCE

CLONE. BUILD.
ANALYZE.

[03/04]
01git clone https://github.com/AndrewKCollins/vertox
02cd vertox
03cargo install --path .
04vertox network

// SOURCE_AVAILABLE :: REVIEW / FORK / CONTRIBUTE

READ THE CODE.
BREAK THE ASSUMPTIONS.

TOKEN_CONTRACT::TBA
$ open github_repository