Repositories list

• verifyoor

  Public
  Verify a Solidity smart contract from EVM runtime bytecode alone

  Python

  •

  MIT License

  •11 fork•33 stars•00 issues•00 pull requests•Updated Aug 13, 2026Aug 13, 2026

• audits

  Public
  Security Audit reports by Decurity

  44 forks•4848 stars•00 issues•00 pull requests•Updated Jul 14, 2026Jul 14, 2026

• anchor-constraints-analyzer

  Public
  Python

  •00 forks•77 stars•00 issues•00 pull requests•Updated Dec 11, 2025Dec 11, 2025

• semgrep-smart-contracts

  Public
  Semgrep rules for smart contracts based on DeFi exploits

  securityethereumsolidity+ 2

  securityethereumsoliditydefisemgrep

  Solidity

  •

  Other

  •101101 forks•713713 stars•33 issues•1010 pull requests•Updated Jun 2, 2025Jun 2, 2025

• mcp-server-defillama

  Public
  TypeScript

  •

  MIT License

  •77 forks•22 stars•00 issues•00 pull requests•Updated May 8, 2025May 8, 2025

• assets

  Public
  00 forks•00 stars•00 issues•00 pull requests•Updated Apr 23, 2025Apr 23, 2025

• solana-ebpf-ida-processor

  Public
  Solana Virtual Machine bytecode processor for IDA Pro

  Python

  •1111 forks•8484 stars•00 issues•11 pull request•Updated Feb 19, 2025Feb 19, 2025

• solana-ida-signatures-factory

  Public
  Python

  •33 forks•1818 stars•22 issues•00 pull requests•Updated Feb 19, 2025Feb 19, 2025

• GemPad_Hack_DeepDive

  Public
  Solidity

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jan 15, 2025Jan 15, 2025

• .github

  Public
  00 forks•00 stars•00 issues•00 pull requests•Updated Jan 13, 2025Jan 13, 2025

• tree-sitter-circom

  Public
  Circom grammar for tree sitter

  tree-sitterparsergrammar+ 1

  tree-sitterparsergrammarcircom

  JavaScript

  •

  MIT License

  •00 forks•99 stars•00 issues•00 pull requests•Updated Sep 9, 2024Sep 9, 2024

• tx-coverage

  Public
  Reveal unused code of a live smart contract by collecting coverage from historical transactions.

  Rust

  •44 forks•7676 stars•22 issues•00 pull requests•Updated Apr 16, 2024Apr 16, 2024

• RewardPool

  Public
  Azuro staking and reward distribution

  Solidity

  •

  MIT License

  •22 forks•00 stars•00 issues•00 pull requests•Updated Mar 11, 2024Mar 11, 2024

• trustx-workshop

  Public
  Jupyter Notebook

  •22 forks•66 stars•00 issues•00 pull requests•Updated Nov 13, 2023Nov 13, 2023

• semgrep-rules

  Public
  Semgrep rules registry

  HCL

  •

  Other

  •571571 forks•11 star•00 issues•00 pull requests•Updated Aug 29, 2023Aug 29, 2023

• audit-checklists

  Public
  3636 forks•226226 stars•00 issues•00 pull requests•Updated Aug 22, 2023Aug 22, 2023

• ovalanchego

  Public
  Go

  •

  BSD 3-Clause "New" or "Revised" License

  •11 fork•00 stars•00 issues•55 pull requests•Updated May 23, 2023May 23, 2023

• comet

  Public
  An efficient money market protocol for Ethereum and compatible chains (aka Compound III, Compound v3).

  TypeScript

  •

  Other

  •201201 forks•00 stars•00 issues•22 pull requests•Updated May 23, 2023May 23, 2023

• compound-semgrep-rules

  Public
  Solidity

  •

  Other

  •00 forks•1010 stars•00 issues•00 pull requests•Updated Apr 6, 2023Apr 6, 2023

• ethdubai-ctf-infrastructure

  Public
  Python

  •00 forks•00 stars•00 issues•00 pull requests•Updated Mar 14, 2023Mar 14, 2023

• abi-decompiler

  Public
  Ethereum (EVM) smart contracts reverse engineering helper utility

  C

  •2929 forks•231231 stars•11 issue•00 pull requests•Updated Jun 15, 2022Jun 15, 2022