Skip to main content

A curated list of Solidity resources

14
GitHub Stars
52
Curated Resources
10
Categories
19 hours ago
Last Refreshed
Official ResourcesLearning MaterialsDeveloper ToolsLibraries & FrameworksSecurity & Best PracticesSecurity Analysis ToolsGas OptimizationUpgradeable ContractsAdvanced TopicsCommunity & Support

Use this list with your AI agent

Add the Context Awesome MCP server to Claude, Cursor, or any MCP client, then ask:

"Show me security analysis tools resources from awesome-solidity"

Installation instructions →

What's inside

Security Analysis Tools

  • Aderyn

    Rust-based static analysis tool for Solidity by Cyfrin.

  • Certora Prover

    Formal verification for smart contracts.

  • Echidna

    Property-based fuzzer for smart contracts.

  • Forta Network

    Decentralized runtime security monitoring network for smart contracts.

  • Manticore

    Symbolic execution tool for smart contract and binary analysis.

  • Medusa

    Parallel fuzzing engine for smart contracts with advanced techniques.

Developer Tools

Upgradeable Contracts

Security & Best Practices

Learning Materials

  • CryptoZombies

    Interactive Solidity tutorials through game development.

  • Cyfrin Updraft

    Comprehensive Solidity and smart contract security courses.

  • Ethernaut

    Web3/Solidity security challenges.

  • Mastering Ethereum

    Comprehensive open-source book covering Ethereum fundamentals, Solidity, and dapp development.

  • Solidity by Example

    Concise code examples with explanations.

  • WTF-Solidity

    Comprehensive Solidity tutorial for beginners with English and Chinese versions.

Community & Support

Official Resources

Gas Optimization

Showing a sample of 52 resources. View the full list on GitHub →