andstor/verified-smart-contracts external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

andstor/verified-smart-contracts

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/andstor/verified-smart-contracts)

Close

andstor / verified-smart-contractsView on GitHubMore

• External links
• Readme badge

Verified Ethereum Smart Contract dataset

☆29Nov 9, 2023Updated 2 years ago

Alternatives and similar repositories for verified-smart-contracts

Users that are interested in verified-smart-contracts are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• andstor / smart-contract-downloader

  View on GitHub
  💾 Download smart contracts from etherscan.io
  ☆23Nov 9, 2023Updated 2 years ago
• denizumutdereli / smart-contract-langchain-advisor

  View on GitHub
  The Solidity Smart-Contract Advisor is a cutting-edge tool designed to extend the capabilities of traditional language models in understa…
  ☆13Mar 18, 2026Updated 7 months ago
• Elyx0 / tenderly-hardhat-simulator-starter

  View on GitHub
  Simulate local transactions with Tenderly through hardhat
  ☆23Oct 10, 2021Updated 5 years ago
• 0xAfroSec / py-solidity-ast

  View on GitHub
  A Python library for parsing the Abstract Syntax Tree (AST) of compiled Solidity files.
  ☆11Dec 1, 2023Updated 2 years ago
• lanturn-defi / lanturn

  View on GitHub
  ☆15Aug 29, 2023Updated 3 years ago
• Deploy on Railway without the complexity - Free Credits Offer • Ad
  Connect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
• W2Ning / Visor_Finance_Vul_Poc

  View on GitHub
  Visor Finance 攻击事件的分析和复现
  ☆10Dec 22, 2021Updated 4 years ago
• iamdefinitelyahuman / py-solc-ast

  View on GitHub
  A tool for exploring the solc abstract syntax tree
  ☆36Mar 20, 2024Updated 2 years ago
• Franklinliu / InvCon-Tool

  View on GitHub
  InvCon: A Dynamic Invariant Detector for Ethereum Smart Contracts!
  ☆17May 31, 2022Updated 4 years ago
• MetaTrustLabs / GPTScan-DefiHacks

  View on GitHub
  Scanning Result of MetaScan's AI GPTScan Engine for 13 DefiHacks Projects under 10 Logic Vuln Types
  ☆16Aug 8, 2023Updated 3 years ago
• verovm / record-replay

  View on GitHub
  ☆18Oct 28, 2026Updated last week
• SliSE-SC / SliSE

  View on GitHub
  ☆11Jan 14, 2025Updated last year
• NFTDefects / nftdefects

  View on GitHub
  Definition and Detection of Defects in NFT Smart Contracts
  ☆27Aug 31, 2025Updated last year
• InPlusLab / DAppSCAN

  View on GitHub
  DAppSCAN: Building Large-Scale Datasets for Smart Contract Weaknesses in DApp Projects.
  ☆84Mar 25, 2025Updated last year
• valamidev / evm-supernode

  View on GitHub
  Proxy and load-balancer Supernode for all EVM chain listed on Chainlist.org
  ☆20Jul 14, 2025Updated last year
• Deploy to Railway using AI coding agents - Free Credits Offer • Ad
  Use Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
• OpenZeppelin / sgp

  View on GitHub
  Solidity ANTLR4 grammar Python parser
  ☆13Mar 11, 2025Updated last year
• jeffchen006 / OpenTracer

  View on GitHub
  An Ethereum Dynamic Analyzer, a.k.a, open-sourced transaction explorer similar to Phalcon/EthTx/TxTracer
  ☆57Sep 21, 2026Updated last month
• Rivaill / ethtx_ce

  View on GitHub
  Ethereum transaction decoder (community version).
  ☆14Aug 27, 2021Updated 5 years ago
• gsalzer / skelcodes

  View on GitHub
  smart contracts deployed on Ethereum, one per skeleton
  ☆12Mar 10, 2024Updated 2 years ago
• W2Ning / XSURGE_FlashLoan_Vul

  View on GitHub
  XSURGE攻击事件复现
  ☆10Oct 25, 2021Updated 5 years ago
• gcf3711 / sGuardPlus

  View on GitHub
  An automated smart contract vulnerability repair tool
  ☆13Aug 15, 2023Updated 3 years ago
• ucsb-seclab / greed

  View on GitHub
  A symbolic execution engine for EVM smart contract binaries.
  ☆123Dec 2, 2025Updated 11 months ago
• Jon-Becker / research

  View on GitHub
  This repository contains research papers & studies that I have worked on or am currently working on.
  ☆16Oct 18, 2026Updated 2 weeks ago
• zachxbt-legal-fund / contracts

  View on GitHub
  ☆12Sep 8, 2023Updated 3 years ago
• Managed Database hosting by DigitalOcean • Ad
  PostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
• web3masons / MetaSwap

  View on GitHub
  Cross-chain swaps with metatransactions
  ☆17Jan 24, 2023Updated 3 years ago
• 2xic / evm-bytecode-transpiler-to-venom-ir

  View on GitHub
  WIP transpiler: EVM bytecode -> 🐍 IR -> EVM bytecode
  ☆14Apr 27, 2025Updated last year
• jeasonstudio / solidity-antlr4

  View on GitHub
  ✨ Solidity Language Lexer and Parser, generated by official ANTLR4 grammar.
  ☆18Feb 2, 2024Updated 2 years ago
• binschoolapp / rug-pull-contract

  View on GitHub
  ☆21Apr 19, 2024Updated 2 years ago
• CoinFabrik / geppetto

  View on GitHub
  Geppetto: Advanced Slack bot using multiple AI models for interactive conversations and creative image generation. Enhances Slack with au…
  ☆21May 4, 2026Updated 6 months ago
• kupl / SmartFix-Artifact

  View on GitHub
  ☆13Oct 10, 2023Updated 3 years ago
• ucsb-seclab / crush

  View on GitHub
  ☆11Sep 23, 2024Updated 2 years ago
• ConsenSysDiligence / python-solidity-parser

  View on GitHub
  An experimental Solidity parser for Python built on top of a robust ANTLR4 grammar 📚
  ☆145Jun 24, 2024Updated 2 years ago
• Bigbidbot / CEX_Sniper

  View on GitHub
  SELL OPEN!! Sniping token. Purchase of tokens during listing on exchanges such as Binance, MEXC, OKEX, Huobi and Gate.io . Buy the very f…
  ☆11Feb 27, 2024Updated 2 years ago
• Deploy to Railway using AI coding agents - Free Credits Offer • Ad
  Use Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
• crytic / evm_cfg_builder

  View on GitHub
  EVM CFG recovery
  ☆127Jun 29, 2023Updated 3 years ago
• nlweb-ai / MSR-Web-Verbs

  View on GitHub
  Web Verbs is an extension to NLWeb from Microsoft Research
  ☆15May 5, 2026Updated 6 months ago
• DependableSystemsLab / SolidiFI-benchmark

  View on GitHub
  Repository of benchmarks to evaluate Solidity Smart contract analysis tools
  ☆81Jun 16, 2022Updated 4 years ago
• InPlusLab / ReentrancyStudy-Data

  View on GitHub
  ☆50Jan 14, 2025Updated last year
• fuzzland / girlfriend

  View on GitHub
  Girl Friend <- Generate Foundry Fork Test from Attack Transaction
  ☆130Aug 19, 2024Updated 2 years ago
• christoftorres / ConFuzzius

  View on GitHub
  A data dependency-aware hybrid fuzzer for Ethereum smart contracts (EuroS&P 2021).
  ☆104Oct 11, 2023Updated 3 years ago
• solviz / solviz-core

  View on GitHub
  A solidity contract visualizer using d3.js - ConsenSys Grants Dublin Hackathon winner
  ☆14Nov 30, 2019Updated 6 years ago