Model Context Protocol (MCP) server that enables Claude to perform comprehensive security audits on Solidity smart contracts using Slither, Aderyn, and built-in pattern detection
Continuous smart-contract auditing for every PR — deterministic analysis, fork-sim PoCs, reproducible risk scores, verdicts anchored on-chain.
ContractScan GitHub Action — Scan Solidity contracts for vulnerabilities in CI/CD
Benchmark of 1,100 real Solidity contracts with labelled signature vulnerabilities (replay, malleability, cross-chain/contract replay), plus scripts and results for evaluating signature detectors in Aderyn.
A fork of Aderyn extended with custom hooks to detect advanced cryptography vulnerabilities in smart contracts.
This repository is dedicated to exploring low-level operations in Solidity using Yul, an intermediate language designed for Ethereum smart contract development.
Data: 24 DeepSeek-written Solidity contracts scanned with Slither, Aderyn and ContractScan, with manual triage.
Pre-deploy static analysis for AI-written Solidity (Slither + Aderyn + heuristics). Not an audit.
An audit report provides an in-depth evaluation of potential vulnerabilities, code inefficiencies, and ensure that the software adheres to industry best practices. This report also aims to suggest improvements and recommend actions for optimizing the project's security and performance.
To associate your repository with the aderyn topic, visit your repo's landing page and select "manage topics."