KEVM

Runtimeverification

Live AI enabled Public source

KEVM operates as an EVM tool on Ethereum. It sits within the Solidity tools category. The project is written primarily in KCL and described by its maintainers as using AI or machine learning. Resources include developer documentation and a public GitHub repository. The team maintains a presence on Discord.

Community & social

Categories