From b92b77fc8e14ac17ef0169185b818dfe5583d2c7 Mon Sep 17 00:00:00 2001 From: Marat Nusurov Date: Sun, 31 May 2026 21:03:48 +0600 Subject: [PATCH 1/5] chore: remove deprecated ConsenSys guide, add 4 new tools, fix alphabetical ordering --- readme.md | 15 +++++++++------ 1 file changed, 9 insertions(+), 6 deletions(-) diff --git a/readme.md b/readme.md index 49c47ac..0d5ab2e 100644 --- a/readme.md +++ b/readme.md @@ -37,7 +37,10 @@ Smart contract programming language for the Ethereum Virtual Machine. - [Hardhat](https://hardhat.org/) - Ethereum development environment. - [OpenZeppelin Contracts Wizard](https://wizard.openzeppelin.com/) - Interactive smart contract generator. - [OpenZeppelin MCP](https://mcp.openzeppelin.com/) - AI-powered smart contract generation via Model Context Protocol. +- [prettier-plugin-solidity](https://github.com/prettier-solidity/prettier-plugin-solidity) - Prettier plugin for automatically formatting Solidity code. - [Remix IDE](https://remix.ethereum.org/) - Web-based Solidity IDE. +- [solidity-coverage](https://github.com/sc-forks/solidity-coverage) - Code coverage tool for Solidity smart contracts. +- [Sourcify](https://github.com/argotorg/sourcify) - Open-source decentralized source code verification service for Ethereum. - [Tenderly](https://tenderly.co/) - Smart contract debugging and monitoring. ## Libraries & Frameworks @@ -50,7 +53,6 @@ Smart contract programming language for the Ethereum Virtual Machine. ## Security & Best Practices - [Security Considerations](https://docs.soliditylang.org/en/latest/security-considerations.html#security-considerations) - Official security guide. -- [ConsenSys Smart Contract Best Practices](https://consensysdiligence.github.io/smart-contract-best-practices/) - Comprehensive security guide. - [Smart Contract Security Verification Standard](https://securing.github.io/SCSVS/) - Security checklist. - [EEA EthTrust Security Levels Specification](https://entethalliance.org/specs/ethtrust-sl/) - Smart contract security certification requirements. - [Rekt News](https://rekt.news/) - Investigative journalism and incident analysis of DeFi exploits and hacks. @@ -60,16 +62,17 @@ Smart contract programming language for the Ethereum Virtual Machine. ## Security Analysis Tools - [Aderyn](https://github.com/Cyfrin/aderyn) - Rust-based static analysis tool for Solidity by Cyfrin. -- [Slither](https://github.com/crytic/slither) - Static analysis framework for Solidity. -- [Solhint](https://github.com/protofire/solhint) - Solidity linter for security and style guide validations. -- [SolidityScan](https://solidityscan.com/) - Automated smart contract security audit platform. -- [Surya](https://github.com/ConsenSysDiligence/surya) - Utility for smart contract systems analysis. +- [Certora Prover](https://www.certora.com/) - Formal verification for smart contracts. - [Echidna](https://github.com/crytic/echidna) - Property-based fuzzer for smart contracts. - [Forta Network](https://docs.forta.network/en/latest/) - Decentralized runtime security monitoring network for smart contracts. - [Manticore](https://github.com/trailofbits/manticore) - Symbolic execution tool for smart contract and binary analysis. - [Medusa](https://github.com/crytic/medusa) - Parallel fuzzing engine for smart contracts with advanced techniques. -- [Certora Prover](https://www.certora.com/) - Formal verification for smart contracts. +- [Mythril](https://github.com/ConsenSysDiligence/mythril) - Symbolic-execution-based security analysis tool for EVM bytecode. - [Olympix Static Analyzer](https://olympix.security/resources/free-static-analyzer) - Free Solidity static analysis tool. +- [Slither](https://github.com/crytic/slither) - Static analysis framework for Solidity. +- [Solhint](https://github.com/protofire/solhint) - Solidity linter for security and style guide validations. +- [SolidityScan](https://solidityscan.com/) - Automated smart contract security audit platform. +- [Surya](https://github.com/ConsenSysDiligence/surya) - Utility for smart contract systems analysis. ## Gas Optimization From 8c62502cc1e84421c121b2c12afbc572f29dd732 Mon Sep 17 00:00:00 2001 From: Marat Nusurov Date: Tue, 16 Jun 2026 16:32:32 +0600 Subject: [PATCH 2/5] feat: add AI & Agentic Development section with 4 entries --- readme.md | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/readme.md b/readme.md index 0d5ab2e..7453018 100644 --- a/readme.md +++ b/readme.md @@ -13,6 +13,7 @@ Smart contract programming language for the Ethereum Virtual Machine. - [Gas Optimization](#gas-optimization) - [Upgradeable Contracts](#upgradeable-contracts) - [Advanced Topics](#advanced-topics) +- [AI \& Agentic Development](#ai--agentic-development) - [Community \& Support](#community--support) ## Official Resources @@ -90,6 +91,13 @@ Smart contract programming language for the Ethereum Virtual Machine. - [Yul Documentation](https://docs.soliditylang.org/en/latest/yul.html) - Low-level language for Ethereum. - [LearnEVM](https://learnevm.com/) - Free advanced EVM course for Solidity developers. +## AI & Agentic Development + +- [Blockscout MCP](https://github.com/blockscout/mcp-server) - MCP server wrapping Blockscout APIs for on-chain data access via AI agents. +- [EVMbench](https://openai.com/index/introducing-evmbench) - OpenAI and Paradigm benchmark for evaluating AI agents on smart contract vulnerability detection, patching, and exploitation. +- [Foundry MCP Server](https://github.com/PraneshASP/foundry-mcp-server) - MCP server connecting LLM assistants to the Foundry toolchain for Solidity development. +- [solidity-security skill](https://skills.sh/wshobson/agents/solidity-security) - Reusable AI agent skill pack for secure Solidity development patterns and vulnerability prevention. + ## Community & Support - [EthDev Subreddit](https://www.reddit.com/r/ethdev/) - Developer discussions. From 541b51e6d630840e423e71b38d90a8c4937a6f21 Mon Sep 17 00:00:00 2001 From: Marat Nusurov Date: Tue, 16 Jun 2026 17:16:16 +0600 Subject: [PATCH 3/5] feat: add Skills subsection, expand AI section to 12 entries --- readme.md | 15 ++++++++++++++- 1 file changed, 14 insertions(+), 1 deletion(-) diff --git a/readme.md b/readme.md index 7453018..69b27b9 100644 --- a/readme.md +++ b/readme.md @@ -93,10 +93,23 @@ Smart contract programming language for the Ethereum Virtual Machine. ## AI & Agentic Development +### Skills + +- [OpenZeppelin Skills](https://github.com/OpenZeppelin/openzeppelin-skills) - Claude Code agent skills teaching AI coding assistants to build secure smart contracts using current OpenZeppelin libraries. +- [pashov/skills](https://github.com/pashov/skills) - Reusable AI agent skill pack for Solidity security auditing with multi-agent orchestration. +- [solidity-security skill](https://skills.sh/wshobson/agents/solidity-security) - Reusable AI agent skill pack for secure Solidity development patterns and vulnerability prevention. +- [trailofbits/skills](https://github.com/trailofbits/skills) - Trail of Bits Claude Code skills for security research, vulnerability detection, and audit workflows. + +### Tools + - [Blockscout MCP](https://github.com/blockscout/mcp-server) - MCP server wrapping Blockscout APIs for on-chain data access via AI agents. +- [evm-mcp-server](https://github.com/mcpdotdirect/evm-mcp-server) - MCP server providing LLMs with tools for interacting with 60+ EVM networks. - [EVMbench](https://openai.com/index/introducing-evmbench) - OpenAI and Paradigm benchmark for evaluating AI agents on smart contract vulnerability detection, patching, and exploitation. +- [finite-monkey-engine](https://github.com/BradMoonUESTC/finite-monkey-engine) - AI-driven code security analysis platform for blockchain audit with Solidity Tree-sitter parsing and RAG architecture. - [Foundry MCP Server](https://github.com/PraneshASP/foundry-mcp-server) - MCP server connecting LLM assistants to the Foundry toolchain for Solidity development. -- [solidity-security skill](https://skills.sh/wshobson/agents/solidity-security) - Reusable AI agent skill pack for secure Solidity development patterns and vulnerability prevention. +- [Plamen](https://github.com/PlamenTSV/plamen) - Autonomous Web3 security audit agent orchestrating 18-100 AI agents across 8 phases for EVM/Solidity. +- [Trailmark](https://github.com/trailofbits/trailmark) - Builds and queries multi-language source code graphs for AI-assisted Solidity security analysis. +- [trailofbits/claude-code-config](https://github.com/trailofbits/claude-code-config) - Opinionated defaults, documentation, and workflows for Claude Code at Trail of Bits. ## Community & Support From 1f0610d30da9b4328f5b4526aae6a4b5e85fdb58 Mon Sep 17 00:00:00 2001 From: Marat Nusurov Date: Tue, 16 Jun 2026 17:21:34 +0600 Subject: [PATCH 4/5] style: normalize AI section entries to display names --- readme.md | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/readme.md b/readme.md index 69b27b9..7931ed3 100644 --- a/readme.md +++ b/readme.md @@ -96,20 +96,20 @@ Smart contract programming language for the Ethereum Virtual Machine. ### Skills - [OpenZeppelin Skills](https://github.com/OpenZeppelin/openzeppelin-skills) - Claude Code agent skills teaching AI coding assistants to build secure smart contracts using current OpenZeppelin libraries. -- [pashov/skills](https://github.com/pashov/skills) - Reusable AI agent skill pack for Solidity security auditing with multi-agent orchestration. -- [solidity-security skill](https://skills.sh/wshobson/agents/solidity-security) - Reusable AI agent skill pack for secure Solidity development patterns and vulnerability prevention. -- [trailofbits/skills](https://github.com/trailofbits/skills) - Trail of Bits Claude Code skills for security research, vulnerability detection, and audit workflows. +- [Pashov Skills](https://github.com/pashov/skills) - Reusable AI agent skill pack for Solidity security auditing with multi-agent orchestration. +- [Solidity Security Skill](https://skills.sh/wshobson/agents/solidity-security) - Reusable AI agent skill pack for secure Solidity development patterns and vulnerability prevention. +- [Trail of Bits Skills](https://github.com/trailofbits/skills) - Trail of Bits Claude Code skills for security research, vulnerability detection, and audit workflows. ### Tools - [Blockscout MCP](https://github.com/blockscout/mcp-server) - MCP server wrapping Blockscout APIs for on-chain data access via AI agents. -- [evm-mcp-server](https://github.com/mcpdotdirect/evm-mcp-server) - MCP server providing LLMs with tools for interacting with 60+ EVM networks. +- [EVM MCP Server](https://github.com/mcpdotdirect/evm-mcp-server) - MCP server providing LLMs with tools for interacting with 60+ EVM networks. - [EVMbench](https://openai.com/index/introducing-evmbench) - OpenAI and Paradigm benchmark for evaluating AI agents on smart contract vulnerability detection, patching, and exploitation. -- [finite-monkey-engine](https://github.com/BradMoonUESTC/finite-monkey-engine) - AI-driven code security analysis platform for blockchain audit with Solidity Tree-sitter parsing and RAG architecture. +- [Finite Monkey Engine](https://github.com/BradMoonUESTC/finite-monkey-engine) - AI-driven code security analysis platform for blockchain audit with Solidity Tree-sitter parsing and RAG architecture. - [Foundry MCP Server](https://github.com/PraneshASP/foundry-mcp-server) - MCP server connecting LLM assistants to the Foundry toolchain for Solidity development. - [Plamen](https://github.com/PlamenTSV/plamen) - Autonomous Web3 security audit agent orchestrating 18-100 AI agents across 8 phases for EVM/Solidity. +- [Trail of Bits Claude Code Config](https://github.com/trailofbits/claude-code-config) - Opinionated defaults, documentation, and workflows for Claude Code at Trail of Bits. - [Trailmark](https://github.com/trailofbits/trailmark) - Builds and queries multi-language source code graphs for AI-assisted Solidity security analysis. -- [trailofbits/claude-code-config](https://github.com/trailofbits/claude-code-config) - Opinionated defaults, documentation, and workflows for Claude Code at Trail of Bits. ## Community & Support From 1976af2316a882be1cc6f6563e020af874260ea2 Mon Sep 17 00:00:00 2001 From: Marat Nusurov Date: Tue, 16 Jun 2026 17:23:04 +0600 Subject: [PATCH 5/5] fix: Blockchain capitalization in Finite Monkey Engine description --- readme.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/readme.md b/readme.md index 7931ed3..c45063d 100644 --- a/readme.md +++ b/readme.md @@ -105,7 +105,7 @@ Smart contract programming language for the Ethereum Virtual Machine. - [Blockscout MCP](https://github.com/blockscout/mcp-server) - MCP server wrapping Blockscout APIs for on-chain data access via AI agents. - [EVM MCP Server](https://github.com/mcpdotdirect/evm-mcp-server) - MCP server providing LLMs with tools for interacting with 60+ EVM networks. - [EVMbench](https://openai.com/index/introducing-evmbench) - OpenAI and Paradigm benchmark for evaluating AI agents on smart contract vulnerability detection, patching, and exploitation. -- [Finite Monkey Engine](https://github.com/BradMoonUESTC/finite-monkey-engine) - AI-driven code security analysis platform for blockchain audit with Solidity Tree-sitter parsing and RAG architecture. +- [Finite Monkey Engine](https://github.com/BradMoonUESTC/finite-monkey-engine) - AI-driven code security analysis platform for Blockchain audit with Solidity Tree-sitter parsing and RAG architecture. - [Foundry MCP Server](https://github.com/PraneshASP/foundry-mcp-server) - MCP server connecting LLM assistants to the Foundry toolchain for Solidity development. - [Plamen](https://github.com/PlamenTSV/plamen) - Autonomous Web3 security audit agent orchestrating 18-100 AI agents across 8 phases for EVM/Solidity. - [Trail of Bits Claude Code Config](https://github.com/trailofbits/claude-code-config) - Opinionated defaults, documentation, and workflows for Claude Code at Trail of Bits.