# ChainForge PRO — Autonomous EVM Invariant Verification

> **Canonical URL**: https://newjosh.com/work/chainforge-pro  
> **Author**: Joshua M. Abrams  
> **Category**: Cybersecurity & Formal Verification (2024–Present) | **Status**: Active  
> **Related Manifest**: https://newjosh.com/llms.txt  

## Executive Summary
ChainForge PRO is an automated 103-invariant formal verification and multi-agent mutation fuzzing engine that uncovers catastrophic economic and state-corruption vulnerabilities in EVM smart contracts.

## Architecture
- **Offline AST Triage**: Rapid static analysis extracting contract control flows and potential attack surfaces in sub-second execution windows.
- **Pinned Anvil Local Forks**: Isolates blockchain simulation within an air-gapped local environment with eRPC in-memory Redis caching, achieving 100% cache hits and zero external RPC leakage.
- **103 Verified Invariants**: Codified rules verifying liquidity pool balances, collateralization ratios, reentrancy guards, and access-control state transitions.
- **Deterministic Disassembly**: 4-pane EVM stepper tracing opcode execution, memory allocations, and call stacks step-by-step.