Skip to content

Latest commit

 

History

History
127 lines (95 loc) · 14.4 KB

File metadata and controls

127 lines (95 loc) · 14.4 KB

Awesome Solidity Awesome

Smart contract programming language for the Ethereum Virtual Machine.

Contents

Official Resources

Learning Materials

  • CryptoZombies - Interactive Solidity tutorials through game development. Stars
  • Cyfrin Updraft - Comprehensive Solidity and smart contract security courses. Stars
  • Ethernaut - Web3/Solidity security challenges. Stars
  • Mastering Ethereum - Comprehensive open-source book covering Ethereum fundamentals, Solidity, and dapp development. Stars
  • Solidity by Example - Concise code examples with explanations. Stars
  • WTF-Solidity - Comprehensive Solidity tutorial for beginners with English and Chinese versions. Stars

Developer Tools

Libraries & Frameworks

  • Huff - Low-level assembly language for the Ethereum Virtual Machine. Stars
  • OpenZeppelin Contracts - Secure smart contract components. Stars
  • PRBMath - Advanced fixed-point math library for Solidity. Stars
  • Solady - Gas-optimized Solidity library using low-level assembly. Stars

Security & Best Practices

Security Analysis Tools

  • Aderyn - Rust-based static analysis tool for Solidity by Cyfrin. Stars
  • Certora Prover - Formal verification for smart contracts.
  • Echidna - Property-based fuzzer for smart contracts. Stars
  • Forta Network - Decentralized runtime security monitoring network for smart contracts. Stars
  • Manticore - Symbolic execution tool for smart contract and binary analysis. Stars
  • Medusa - Parallel fuzzing engine for smart contracts with advanced techniques. Stars
  • Mythril - Symbolic-execution-based security analysis tool for EVM bytecode. Stars
  • Olympix Static Analyzer - Free Solidity static analysis tool.
  • Slither - Static analysis framework for Solidity. Stars
  • Solhint - Solidity linter for security and style guide validations. Stars
  • SolidityScan - Automated smart contract security audit platform.
  • Surya - Utility for smart contract systems analysis. Stars

Gas Optimization

Upgradeable Contracts

Advanced Topics

AI & Agentic Development

Skills

  • OpenZeppelin Skills - Claude Code agent skills teaching AI coding assistants to build secure smart contracts using current OpenZeppelin libraries. Stars
  • Pashov Skills - Reusable AI agent skill pack for Solidity security auditing with multi-agent orchestration. Stars
  • Solidity Security Skill - Reusable AI agent skill pack for secure Solidity development patterns and vulnerability prevention. Stars
  • Trail of Bits Skills - Trail of Bits Claude Code skills for security research, vulnerability detection, and audit workflows. Stars

Tools

  • Blockscout MCP - MCP server wrapping Blockscout APIs for on-chain data access via AI agents. Stars
  • EVM MCP Server - MCP server providing LLMs with tools for interacting with 60+ EVM networks. Stars
  • EVMbench - OpenAI and Paradigm benchmark for evaluating AI agents on smart contract vulnerability detection, patching, and exploitation. Stars
  • Finite Monkey Engine - AI-driven code security analysis platform for Blockchain audit with Solidity Tree-sitter parsing and RAG architecture. Stars
  • Foundry MCP Server - MCP server connecting LLM assistants to the Foundry toolchain for Solidity development. Stars
  • Plamen - Autonomous Web3 security audit agent orchestrating 18-100 AI agents across 8 phases for EVM/Solidity. Stars
  • Trail of Bits Claude Code Config - Opinionated defaults, documentation, and workflows for Claude Code at Trail of Bits. Stars
  • Trailmark - Builds and queries multi-language source code graphs for AI-assisted Solidity security analysis. Stars

Community & Support

Contributing

Your contributions are welcome! Please read our Contribution Guidelines and Code of Conduct.

Looking for your first contribution? Check our good first issues.

Follow on LinkedIn