Stars
A comprehensive Python framework for evaluating LLM-extracted structured data against ground truth labels. Supports binary classification, scalar values, and list fields with detailed performance m…
VSCode extension for debugging Solidity using Simbolik API server
Property testing for Stylus smart contracts
SmartBugs: A Framework to Analyze Ethereum Smart Contracts
ethdebug.py is a debugger-side implementation of the EthDebug format
K Semantics of the Ethereum Virtual Machine (EVM)
Here we collect and discuss the best DeFI & Blockchain researches and tools. Feel free to DM me on Twitter or open pool request.
A website listing all the best FV companies in the Crypto space.
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
An open-source library of property-based tests for most common Ethereum token standards.
Symbolic Execution Benchmarks for Ethereum Smart Contracts
A curated list of awesome Ethereum security references
Kontrol Workshop at ETHCC[7]
🐦🌴🌴🌴🦕 A home for ethereum smart contracts. 🏠
A survey on Rust works: empirical studies, verification tools, analysis tools, etc
Analyze and reproduce attack events or vulnerabilities in the blockchain world.