awesome-repositories.com
Blog
MCP
awesome-repositories.com

Discover the best open-source repositories with AI-powered search.

ExploreCurated searchesOpen-source alternativesSelf-hosted softwareBlogSitemap
ProjectMCP serverAboutHow we rankPress
LegalPrivacyTerms
© 2026 Bringes Technology SRL·VAT RO45896025·hello@awesome-repositories.com
MAIAN-tool avatar

MAIAN-tool/MAIAN

0
View on GitHub↗
567 stars·160 forks·Python·MIT·10 views

MAIAN

MAIAN: automatic tool for finding trace vulnerabilities in Ethereum smart contracts

Features

  • Security and Analysis - Automated tool for finding vulnerabilities in smart contracts.

Star history

Star history chart for maian-tool/maianStar history chart for maian-tool/maian

How this analysis was created: This summary and feature list are AI-generated from collected project material and can contain mistakes. Stars, license and language are imported from GitHub. Inclusion does not mean that we have tested or audited this project. Check the source documentation for any feature you depend on. Learn more on our About page.

AI search

Explore more awesome repositories

Describe what you need in plain English — the AI ranks thousands of curated open-source projects by relevance.

Start searching with AI

Projects sharing features with MAIAN

These projects share indexed features with MAIAN. Shared tags can include platform or build tooling; verify the primary use case before treating a result as a replacement.
  • jacobeberhardt/zokratesJacobEberhardt avatar

    JacobEberhardt/ZoKrates

    1,876View on GitHub↗

    A toolbox for zkSNARKs on Ethereum

    Rust
    View on GitHub↗1,876
  • melonproject/oyentemelonproject avatar

    melonproject/oyente

    1,340View on GitHub↗

    An Analysis Tool for Smart Contracts

    JavaScript
    View on GitHub↗1,340
  • ooibc88/blockbenchooibc88 avatar

    ooibc88/blockbench

    392View on GitHub↗

    BLOCKBENCH: A Framework for Analyzing Private Blockchains. Blockbench contains workloads for measuring the data processing performance, and workloads for understanding the performance of different layers of Blockchain systems.

    C++
    View on GitHub↗392
  • scipr-lab/libsnarkscipr-lab avatar

    scipr-lab/libsnark

    1,927View on GitHub↗

    C++ library for zkSNARKs

    C++
    View on GitHub↗1,927

Frequently asked questions

What does maian-tool/maian do?

MAIAN: automatic tool for finding trace vulnerabilities in Ethereum smart contracts

What are the main features of maian-tool/maian?

The main features of maian-tool/maian are: Security and Analysis.

Which projects share features with maian-tool/maian?

Projects with overlapping indexed features include: jacobeberhardt/zokrates — A toolbox for zkSNARKs on Ethereum. melonproject/oyente — An Analysis Tool for Smart Contracts. ooibc88/blockbench — BLOCKBENCH: A Framework for Analyzing Private Blockchains. Blockbench contains workloads for measuring the data… scipr-lab/libsnark — C++ library for zkSNARKs.