Repository History

Explore all analyzed open source repositories

Topic: smart-contracts
Wake: A Python Framework for Secure Solidity Development and Fuzz Testing

Wake: A Python Framework for Secure Solidity Development and Fuzz Testing

Wake is a robust Python-based framework designed for secure Solidity development and comprehensive fuzz testing. It provides built-in vulnerability detectors, helping developers build more secure Ethereum dApps. With features like a VS Code extension and CI/CD integration, Wake streamlines the smart contract development workflow.

Jan 21, 2026
View Details
CertoraProver: State-of-the-Art Formal Verification for Smart Contracts

CertoraProver: State-of-the-Art Formal Verification for Smart Contracts

The Certora Prover is a leading security tool for automated formal verification of smart contracts. It supports EVM-based chains, Solana, and Stellar, ensuring robust security for decentralized applications. This open-source project, written in Kotlin, provides developers with powerful capabilities to enhance smart contract integrity.

Dec 27, 2025
View Details
Page 1