vioscaleAI
Smart Contract ToolsUnclaimed

Mythril

Security vulnerability detector for Ethereum smart contracts using symbolic execution

Visit websiteCompare alternatives
Vendor
ConsenSysDiligence
Also known as
mythril

What is Mythril?

A command-line security analysis tool that identifies vulnerabilities in Ethereum smart contracts and other EVM-compatible blockchain applications by executing contract bytecode symbolically.

Independently observed

Mythril pricing

Plans, per-tier features and add-ons, dated and linked to live pricing. Pricing changes often; always verify at source before you rely on it.

Pricing as of verify at live pricing ↗Independently observed
Open sourceFree tier

Free and open-source

Open Source

Free
Free

Community-supported open-source security analysis tool

  • Symbolic execution-based bytecode analysis
  • Vulnerability detection for smart contracts
  • HTML report output
  • Support for Solidity file analysis
  • On-chain contract analysis by address
  • Pre-commit hook integration
  • Configurable transaction exploration depth

What Mythril does

The capabilities that matter for smart contract tools, normalised so it lines up with every alternative. “-” means we haven't confirmed it, not that it's missing.

Capabilities
Stack
Solidity JS/TS
Chain support
EVM only
Local testnet
-
Mainnet forking
-
Fuzz testing
-
Invariant testing
-
Static analysis
✓
Symbolic execution
✓
Formal verification
-
Gas profiling
-
Tx simulation debugging
✓
Upgrade proxy tooling
-
Multisig transaction ops
-
Ide editor plugin
-
Deployment
Local CLI
Independently observed

Platform & deployment

Independently observed
Platforms
  • CLI
Deployment
  • Self-hosted

Integrations (2)

Independently observed
  • GitHub
  • Ethereum

Security & compliance

Known vulnerabilities: 0 (0 in the last 12 months) sourcea count reflects scale & disclosure, not quality

Mythril FAQ

Common questions about Mythril, answered from independent, dated evidence.

Is Mythril free to use?

Mythril is open source, so it can be self-hosted and used at no licence cost. It is released under the MIT licence. Pricing changes often, so verify at source before relying on it.

Source: https://github.com/pricing

What platforms does Mythril support?

Mythril supports a command-line interface. Platforms we have not confirmed are simply not listed here rather than ruled out.

Source: https://github.com/pricing

Can Mythril be self-hosted?

Yes. Mythril can be deployed self-hosted, so it does not have to run on the vendor's infrastructure.

Source: https://github.com/pricing

Is Mythril open source?

Yes. Mythril is published under the MIT licence, a permissive licence that generally allows commercial use and modification. Licence terms can change between releases, so verify against the repository for the version you intend to use.

Source: https://github.com/ConsenSys/mythril

Mythril alternatives

Other smart contract tools we track, ranked by the same independent score.

All Mythril alternatives, ranked →

Independent · unbought · dated

The vioscaleAI score: one lens on the evidence

Not user reviews and not a paid placement: a confidence-weighted blend of the independent signals below (adoption, activity, security posture, and more), which you can sort and re-weight yourself. Vendors can correct their listing but can never move their rank, and stars are weighted low as a vanity metric. It is one way to read the evidence for Mythril, not the verdict.

Balanced composite 42 / 100
low · 34%
Signal contributions to the composite score
SignalScoreWeightContributionEvidence
Release cadence890.076.0✓
Capabilities580.084.8✓
Stars690.032.3✓
Security score410.052.2✓
Dependent projects260.082.1✓
Integrations140.050.7✓
Development activity00.120.0✓
Security posture00.090.0-
Package downloads00.170.0-
Developer Q&A activity00.080.0-

Computed . Re-weight it by intent, or see the full method.

All data & sourcesshow ↓

Every value we hold, with its source, retrieval date, and confidence. This is the evidence behind the score: don't trust it, verify it.

Activity

AttributeValueEvidence
Commits last 30d0mediumsource · 2026-10-14 · 65%

Adoption

AttributeValueEvidence
Github stars4,272highsource · 2026-10-14 · 90%
Dependent repos35highsource · 2026-10-14 · 85%

Content

AttributeValueEvidence
Faq4 itemsmediumsource · 2026-09-10 · 69%

Features

AttributeValueEvidence
CapabilitiesStack: Solidity-JS/TS · Deployment: local-cli · Chain support: EVM-only · Static analysis: Yes · Symbolic execution: Yes · Tx simulation debugging: Yesmediumsource · 2026-10-14 · 60%

Integrations

AttributeValueEvidence
Count2mediumsource · 2026-08-19 · 60%

Language

AttributeValueEvidence
PrimaryPythonhighsource · 2026-10-14 · 90%

License

AttributeValueEvidence
SpdxMIThighsource · 2026-10-14 · 95%

Pricing

AttributeValueEvidence
Modelcommerciallowsource · 2026-10-14 · 40%
Free tierYesmediumsource · 2026-08-19 · 60%
Price levelfreemediumsource · 2026-08-19 · 60%
TransparentYesmediumsource · 2026-08-19 · 60%

Release

AttributeValueEvidence
Cadence days20mediumsource · 2026-10-14 · 70%
History20 itemsmediumsource · 2026-10-14 · 70%

Security

AttributeValueEvidence
Scorecard4.1highsource · 2026-10-14 · 90%
VulnerabilitiesCount: 0 · Source: https://advisories.ecosyste.ms/api/v1/advisories?ecosystem=pypi&package_name=mythril&per_page=100 · Last 12m: 0highsource · 2026-10-14 · 90%
Trust centerhttps://github.com/securitymediumsource · 2026-10-14 · 60%
Still deciding?

Is Mythril the right choice for you?

Tell us the job, the constraints and what you weigh most, and we will rank Mythril against the rest of the smart contract tools we index, using the same dated evidence weighted your way.

Free to run, no account needed to start. How the evaluation works

For the makers of Mythril

Is this your product?

This profile was built from public sources without asking you. You can take the badge below and use it anywhere, and you can claim the profile to correct anything we got wrong. Both are free, and neither moves Mythril up or down: nobody can buy rank here, including you.

Take the badge

Live, always current, and free to use on your own site. It shows Mythril's independent score and links back to this profile.

Mythril, verified on vioscaleAI
HTML
<a href="https://www.vioscale.ai/software/mythril" target="_blank" rel="noopener">
  <img src="https://www.vioscale.ai/badge/software/mythril.svg" alt="Mythril, verified on vioscaleAI" width="330" height="76" loading="lazy" />
</a>
Markdown, for a README →
Markdown
[![Mythril, verified on vioscaleAI](https://www.vioscale.ai/badge/software/mythril.svg)](https://www.vioscale.ai/software/mythril)

Claim the profile

Verify you control the domain, then point us at the pages that state the facts about Mythril and add your own description and media. Free, and it does not change the score.

  • Correct anything wrong, with evidence
  • Point our crawler at the pages that matter
  • Write your own description and add media
Claim Mythril

Not the owner? How vendor profiles work

For AI & developers

This profile is machine-readable and citable. Fetch it as JSON, Markdown, or GraphQL, or via MCP.

Machine formatsMarkdownJSONGraphQLMarkdown is open. JSON and GraphQL need a free key.

Last updated . Canonical URI: https://www.vioscale.ai/software/mythril.