Repositories list

• solc-typed-ast

  Public

  ConsenSysDiligence/solc-typed-ast’s past year of commit activity
  A TypeScript package providing a normalized typed Solidity AST along with the utilities necessary to generate the AST (from Solc) and traverse/manipulate it.

  typescriptastsolidity

  TypeScript

  •

  Apache License 2.0

  •25•134•13•1•Updated Dec 15, 2025Dec 15, 2025

• sol-dbg

  Public

  ConsenSysDiligence/sol-dbg’s past year of commit activity
  Solidity source debugger built around EthereumJS

  Solidity

  •

  Apache License 2.0

  •3•25•19•2•Updated Dec 11, 2025Dec 11, 2025

• mythril

  Public
  Mythril is a symbolic-execution-based securty analysis tool for EVM bytecode. It detects security vulnerabilities in smart contracts built for Ethereum and other EVM-compatible blockchains.

  securityethereumsmart-contracts+ 5blockchainsymbolic-executionsolidityprogram-analysissecurity-analysis

  Python

  •

  MIT License

  •799•4.2k•114•7•Updated Nov 3, 2025Nov 3, 2025

• daedaluzz

  Public
  Benchmark Generator for Smart-Contract Fuzzers

  benchmarkingethereumfuzzing

  Solidity

  •

  Apache License 2.0

  •11•140•0•0•Updated Oct 2, 2025Oct 2, 2025

• sol-fuzz

  Public
  TypeScript

  •

  Apache License 2.0

  •0•2•1•1•Updated Jul 22, 2025Jul 22, 2025

• surya

  Public

  ConsenSysDiligence/surya’s past year of commit activity
  A set of utilities for exploring Solidity contracts

  JavaScript

  •

  Apache License 2.0

  •127•1.2k•5•4•Updated Jun 26, 2025Jun 26, 2025

• sol-datalog

  Public
  An encoding from the solc-typed-ast into datalog

  TypeScript

  •

  Apache License 2.0

  •2•1•7•1•Updated Jun 3, 2025Jun 3, 2025

• solc-fuzz

  Public
  TypeScript

  •

  Apache License 2.0

  •0•1•0•2•Updated May 29, 2025May 29, 2025

• souffle.ts

  Public

  ConsenSysDiligence/souffle.ts’s past year of commit activity
  Wrapper library around the Souffle Datalog Language

  TypeScript

  •

  Apache License 2.0

  •0•1•4•1•Updated May 1, 2025May 1, 2025

• scribble

  Public
  Scribble instrumentation tool

  languageethereumsmart-contracts+ 2solidityscribble

  TypeScript

  •

  Apache License 2.0

  •27•332•14•1•Updated Apr 29, 2025Apr 29, 2025

• sol2maruir

  Public
  Library (and tool) for transpiling Solidity programs to Maru IR

  Solidity

  •

  Apache License 2.0

  •1•0•10•0•Updated Apr 29, 2025Apr 29, 2025

• maru-ir2

  Public
  TypeScript

  •

  Apache License 2.0

  •0•0•0•2•Updated Apr 29, 2025Apr 29, 2025

• defi-fuzzing-toolbox

  Public
  Small TypeScript library allowing easy local deployment of some common defi components

  Solidity

  •

  Apache License 2.0

  •1•1•0•1•Updated Apr 29, 2025Apr 29, 2025

• vscode-solidity-metrics

  Public
  Generate Solidity Source Code Metrics, Complexity and Risk profile reports for your project.

  JavaScript

  •

  MIT License

  •3•54•5•4•Updated Apr 21, 2025Apr 21, 2025

• diligence-fuzzing

  Public
  Python

  •

  Other

  •9•43•5•3•Updated Apr 7, 2025Apr 7, 2025

• smart-contract-best-practices

  Public
  A guide to smart contract security best practices

  securitydocumentationethereum+ 3smart-contractsblockchainsolidity

  HTML

  •1.5k•7.6k•18•20•Updated Mar 28, 2025Mar 28, 2025

• evmc-eof

  Public
  C++

  •

  Apache License 2.0

  •0•0•0•0•Updated Jan 14, 2025Jan 14, 2025

• vscode-ethover

  Public
  Ethereum Account Address Hover Info and Actions

  ethereumaddressvscode+ 2hovervscode-extension

  JavaScript

  •

  MIT License

  •7•45•5•1•Updated Dec 9, 2024Dec 9, 2024

• solidity-metrics

  Public

  ConsenSysDiligence/solidity-metrics’s past year of commit activity
  Solidity Code Metrics

  JavaScript

  •32•284•5•3•Updated Nov 28, 2024Nov 28, 2024

• armlet

  Public
  a MythX API client wrapper

  JavaScript

  •

  MIT License

  •3•17•12•0•Updated Sep 26, 2024Sep 26, 2024

• mythril-trace-explorer

  Public
  TypeScript

  •0•7•1•1•Updated Jun 24, 2024Jun 24, 2024

• pythx

  Public
  A Python library for the MythX smart contract security analysis platform

  securitysmart-contractssolidity+ 2security-scannermythx

  Python

  •

  MIT License

  •8•31•4•7•Updated Jun 24, 2024Jun 24, 2024

• python-solidity-parser

  Public
  An experimental Solidity parser for Python built on top of a robust ANTLR4 grammar 📚

  pythonparserantlr+ 2python3solidity

  Python

  •39•146•5•3•Updated Jun 24, 2024Jun 24, 2024

• scribble-exercise-1

  Public
  Solidity

  •

  MIT License

  •33•20•2•6•Updated Jun 24, 2024Jun 24, 2024

• vscode-solidity-auditor

  Public
  Solidity language support and visual security auditor for Visual Studio Code

  securityvscodesolidity+ 3vscode-extensionvscode-themevscode-language

  JavaScript

  •

  GNU General Public License v3.0

  •64•598•34•5•Updated Jun 24, 2024Jun 24, 2024

• mythxjs

  Public
  TypeScript

  •

  MIT License

  •5•29•1•22•Updated Jun 24, 2024Jun 24, 2024

• scribble-getting-started

  Public
  Repository with the files for the getting started guide of Scribble

  Solidity

  •3•3•0•1•Updated Jun 24, 2024Jun 24, 2024

• secureum-diligence-bootcamp

  Public
  Solidity

  •4•37•0•1•Updated Jun 24, 2024Jun 24, 2024

• bytecode-verifier

  Public
  Compile Solidity source code and verify its bytecode matches the blockchain

  bytecodeethereumsmart-contracts+ 3solidityevmverifier

  JavaScript

  •27•87•4•26•Updated Jun 24, 2024Jun 24, 2024

• aragraph

  Public
  Visualize your Aragon DAO Templates

  ethereumblockchaindao+ 3organizationsaragonsecurity-tools

  JavaScript

  •

  MIT License

  •9•29•0•17•Updated Jun 24, 2024Jun 24, 2024