Simbolik is a comprehensive Solidity debugging and development toolkit for Ethereum that brings professional-grade debugging capabilities to smart contract developers. It features a true source-level debugger enabling step-through execution of Solidity code, inspection of variables and VM state at any point in execution, and time-travel debugging to run code backwards and forwards. Built on Runtime Verification's formal verification expertise, Simbolik also includes a Foundry Test Explorer for managing and executing test suites, test coverage reporting to identify untested code paths, static analysis using Foundry's detectors, and integrations for both Visual Studio Code and Cursor IDEs.
We don't have any news articles linked to Simbolik yet. If you know of an article or resource about this project, let us know.
Smart contracts which are formally verified
K Semantics of the Ethereum Virtual Machine (EVM)
Publications of Runtime Verification, Inc.
Fast Ethereum RPC client for testing and development
Interactive breakpoint-style debugger for Stellar/Soroban
