Woke is a Python-based development and testing framework for Solidity
A Python-based development and testing framework for smart contracts
Enforce Data Contracts
Document Index for Vectorless, Reasoning-based RAG
Static Analyzer for Solidity
Runtime substrate that turns agent's execution into a Git-like trace
Security analysis tool for EVM bytecode. Supports smart contracts
Python scripts for ETL (extract, transform and load) jobs for Ethereum
Symbolic execution tool
A home for ethereum smart contracts
Raiden Network