Language-agnostic AI auditor that autonomously builds and refines adaptive knowledge graphs for deep, iterative code reasoning.

A framework for evaluating AI audit agents using recent real-world data

ethdebug.py is a debugger-side implementation of the EthDebug format

VSCode extension for debugging Solidity using Simbolik API server

K Semantics of the Ethereum Virtual Machine (EVM)

K Framework Tools 7.0

A website listing all the best FV companies in the Crypto space.

Kontrol Workshop at ETHCC[7]

A symbolic testing tool for EVM smart contracts

Symbolic Execution Benchmarks for Ethereum Smart Contracts

A survey on Rust works: empirical studies, verification tools, analysis tools, etc

proof first, evm specific smt solver

Analyze and reproduce attack events or vulnerabilities in the blockchain world.

SmartBugs: A Framework to Analyze Ethereum Smart Contracts

🐦🌴🌴🌴🦕 A home for ethereum smart contracts. 🏠

An automata learning library written in Python.

Here we collect and discuss the best DeFI & Blockchain researches and tools. Feel free to DM me on Twitter or open pool request.

A curated list of awesome Ethereum security references