Dapp store Ethereum Solidity tools EVM tools

KEVM

EVM tools

KEVM

A model of the Ethereum Virtual Machine (EVM) with K semantics.

Open-source

Visit website

This link will take you to a third-party site not owned or operated by Alchemy.

What is KEVM?

Runtime Verification Inc's K framework-based model and walkthrough to help write custom tests from a language and environment you deploy and maintain. Developers can create tests with more control of the underlying framework's semantics. Working knowledge of the K framework or its implementations is a prerequisite.

Use web3's most scalable and reliable RPC nodes

Get your API key

Web3 dapps and developer tools related to KEVM

Discover blockchain applications that are frequently used with KEVM.

evmtools

Solidity developer tools

evmtools is a suite of essential web3 development tools for Ethereum and EVM-compatible networks, including decoders, converters, and smart contract utilities.

EVMole

Development frameworks

EVMole extracts function selectors, arguments, state mutability, and storage layout from EVM bytecode, even for unverified contracts.

Superchain Dev Console

Alchemy CustomerCrypto faucets

Superchain Dev Console provides tools to help you build, launch, and grow your app on the Superchain.

Envio

Alchemy CustomerIndexing tools

Envio is a real-time, multichain blockchain indexer for EVM, Solana, and Fuel chains, providing historical and live data.

Best EVM tools

Discover more web3 applications and developer tools.

See all dapps

Developer resources from Alchemy

Overview

Solidity

12 Solidity smart contract security best practices

Secure your smart contracts with these expert security tips and tools.

Overview

Solidity

The 6 best Solidity IDEs for developers (2026)

Explore the best IDEs for Solidity development.

Announcing our integration with Monad, the fastest EVM L1

Blog

Partnership

Announcing our integration with Monad, the fastest EVM L1

Introducing Monad: Build on the fastest EVM L1 with zero compromises

KEVM alternatives

Explore web3 competitors and apps like KEVM.

Rust Ethereum ABI

EVM tools

Analyze ABI to encode and decode smart contract functions and outputs.

ETH ABI

EVM tools

Ethereum ABI tools for Python, in particular, encoding and decoding.

Solvm

EVM tools

A stripped-down EVM implemented using Yul & Solidity.

ConsenSys ABI Decoder

EVM tools

Decodes events and data params from Ethereum transactions.

View all alternatives

App store listings are independently reviewed and written by Alchemy using a combination of inbound submissions, editorial research, public project sources, and third-party directories, including ecosystem data from The Grid under the Open Database License, DefiLlama, DappRadar, Reown, and chain ecosystem pages.

Build blockchain magic

Alchemy combines the most powerful web3 developer products and tools with resources, community and legendary support.

Get your API key