Michal Převrátil

<a href="https://pypi.org/project/eth-wake/" rel="noopener noreferrer" target="_blank">Wake</a> is a development framework for Solidity smart contracts that combines testing, fuzzing, static analysis, and IDE tooling in a single Python-based toolkit — helping developers write safer contracts, faster. <img src="https://giveth.mypinata.cloud/ipfs/Qme8oVesHLuxcpPPudvhyz56Ars4qPVBq3ZGHVGpTxe4mn"> <h1>Features</h1>- Testing framework based on <a href="https://docs.pytest.org/en" rel="noopener noreferrer" target="_blank">pytest</a> — write clean, readable tests with familiar Python tooling- Property-based fuzzing — automatically generate diverse inputs to uncover hidden bugs- Manually-guided fuzzing (MGF) — combine automated fuzzing with human insight to target specific contract behaviors and edge cases- Rust EVM core — high-performance chain simulation via <a href="https://github.com/bluealloy/revm" rel="noopener noreferrer" target="_blank">revm</a>, with call tracing, coverage tracking, and mainnet forking built in- Vulnerability detectors — catch reentrancy, unsafe delegatecalls, unchecked return values, and more out of the box- Extensible static analysis — write custom detectors and printers in Python to enforce project-specific rules- Rich code intelligence — fully typed intermediate representation of Solidity code with control flow graphs, cross-reference resolution, storage layout analysis, and state change tracking — a foundation ready to power AI-driven security tooling- Deployments &amp; mainnet interactions — send transactions and deploy contracts on major chains <img src="https://giveth.mypinata.cloud/ipfs/Qmcdupzr82YAHWqBg8byAjXpA4mL31HA2otSXfHN6QjXrT"> <img src="https://giveth.mypinata.cloud/ipfs/QmbeokSMrhyoNHZHhbWZYygDQr4xdbNRQjnt6quY171eQK"> <h1>Donation objectives</h1>Wake's static analysis engine produces rich, structured representations of Solidity code — typed IR, control flow graphs, cross-references, storage layouts, and state change tracking. Today, this powers detectors and IDE features. The donations would fund exposing this intelligence to AI agents, unlocking a new class of AI-driven security and development tooling. <h2>Deliverables</h2>- MCP server for static analysis — expose Wake's code intelligence (definitions, references, type hierarchy, control flow, storage layout, state changes) as an <a href="https://modelcontextprotocol.io/" rel="noopener noreferrer" target="_blank">MCP</a> server, giving AI agents structured, queryable access to Solidity codebases instead of raw source text- AI-native fuzzing interface — provide an agent-friendly API for autonomous fuzz testing: AI agents define flows, invariants, and test strategies, then launch and monitor fuzzing campaign outputs- Agent-oriented documentation and examples — reference implementations showing AI agents using Wake's MCP tools for end-to-end security analysis: from code understanding through fuzz testing to vulnerability reporting- Ongoing revm core maintenance — keep Wake's Rust EVM core up to date with revm releases and upcoming Ethereum hardforks, ensuring tests and fuzzing always run against the latest EVM semantics- New vulnerability detectors — expand the built-in detector suite with coverage for additional vulnerability classes, including detectors for known Solidity compiler bugs that silently generate incorrect bytecode

Wake: Solidity static analysis and fuzzing framework
Michal Převrátil

Donate first & lead the way!

Wake: Solidity static analysis and fuzzing frameworkMichal Převrátil

Donate first & lead the way!

Wake: Solidity static analysis and fuzzing framework
Michal Převrátil