SolProbe

Open-source platform to test, simulate, and auto-audit smart contracts across EVM chains.

SolProbe combines three core capabilities:

• Test: deterministic scenario and function-level execution
• Simulate: dry-run, execute, and fork-based chain workflows
• Audit: normalized security checks with risk scoring

Highlights

• Multi-chain execution with normalized JSON reports
• ABI-first function studio (auto-detect functions and generate inputs)
• Function run modes: prepare, simulate, execute, fork, wallet
• Security campaigns with gate evaluation
• Run history, replay, diff, and risk-delta APIs
• Berachain support (berachain, berachainBartio)

Supported Chains

• Ethereum
• Arbitrum
• Base
• Polygon
• BNB Smart Chain
• Berachain Mainnet
• Berachain Bartio
• Anvil Local

Quick Start

Requirements:

• Node.js >=20
• npm
• Optional: Foundry (forge, anvil) for local stateful/fork workflows

Install and run:

npm install
npm run dev:api
npm run dev:web

Open:

• Web UI: http://127.0.0.1:4200
• API health: http://127.0.0.1:4100/health

Common Commands

# Validate baseline
npm run ci:check

# API integration tests
npm run test:api

# Local audit pipeline
npm run audit:local

# Local stateful simulation workflow
npm run sim:local

# Example jobs
npm run job:example
npm run job:multi-example
npm run job:campaign-example

# Replay and risk delta
npm run job:replay -- <run-id>
npm run risk:delta -- <baseline-run-id> <candidate-run-id>

UI Workflow

1. Open the web app.
2. In ABI Function Studio, upload/paste ABI JSON or Solidity source.
3. Click Analyze Contract.
4. Select a detected function, fill generated inputs, and run it with:
   • Backend Simulate
   • Backend Execute
   • Fork + Simulate
   • Wallet
5. Optionally click Generate All-Function Scenario and run Run Multi-Chain Probe.

API Surface

Core routes:

• GET /health
• GET /api/v1/meta
• GET /api/v1/chains
• GET /api/v1/packs
• POST /api/v1/introspect/abi
• POST /api/v1/introspect/solidity
• POST /api/v1/scenarios/smoke
• POST /api/v1/functions/run
• POST /api/v1/functions/decode
• POST /api/v1/jobs
• POST /api/v1/jobs/multi-chain
• POST /api/v1/jobs/forked
• POST /api/v1/campaigns/run
• GET /api/v1/runs
• GET /api/v1/runs/:id
• GET /api/v1/runs/:id/diff/:otherId
• GET /api/v1/runs/:id/risk
• GET /api/v1/runs/:id/risk-delta/:otherId
• POST /api/v1/runs/:id/replay

See full API details in docs/API.md.

Project Layout

.
|-- apps/
|   |-- api/                  # HTTP orchestration layer
|   `-- web/                  # Next.js web console
|-- packages/
|   |-- chain-adapters/       # EVM chain adapter layer
|   |-- simulation-core/      # Scenario execution core
|   `-- audit-core/           # Security/audit pipeline
|-- contracts/                # Foundry contracts and tests
|-- examples/                 # Example scenarios/jobs/packs
|-- scripts/                  # CI/local helper scripts
`-- docs/                     # Architecture, API, roadmap docs

Configuration

Environment template: .env.example

Notable variables:

• RPC overrides (ETHEREUM_RPC_URL, BERACHAIN_RPC_URL, etc.)
• SOLPROBE_PRIVATE_KEY for signed execute-mode tx on locked RPC nodes
• SOLPROBE_WEB_PORT to override web port
• SOLPROBE_API_PORT to override API port

Open Source

• License: MIT (LICENSE)
• Contributing: CONTRIBUTING.md
• Security policy: SECURITY.md
• Code of conduct: CODE_OF_CONDUCT.md
• Changelog: CHANGELOG.md
• Support: SUPPORT.md