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.

Monitor smart contracts deployed on blockchain and test against vulnerabilities with Mythril. It was presented at DEFCON 2019.

A hypervisor written in rust

Decentralized GPU-accelerated data processing pipeline leverages massively parallel processing for intelligent, scalable, high-performance Optimizer.

Semantic analyzer of EVM bytecode based on Mythril

Core Website - Laravel & VueJS

A compiled Python-like multi-paradigm programming language.

Security analysis tool - Light Mythril Platform

No description available

A python script to scan all smart contract on Ethereum and audit them by using Mythril

Let's Fucking Game allows you to create "One Button Game" to engage your community and provide them fun way to engage with your content. Once the game starts. players have to log in everyday during a random time slot. If you forget, you lose. The last players share the prizes according to the prizepool distribution.

A collection of resources, best practices, and tools for improving the security of smart contracts.

A unified skill management system for multi-agent AI coding assistants. This toolkit provides a curated collection of reusable skills plus centralized CLI commands to install, configure, and maintain them across Github Copilot, Claude Code, Cursor, Codex, Gemini CLI ...

Framework-independent library for building fine-grained HTML/CSS/JS widgets.

A cozy, playful, and seamless way to explore the web. With an intuitive design, smooth transitions, and subtle creativity, Mythril makes every click feel delightful. Discover the web, your way.

Plugin for remix that allows you to analyse your code using MythX

:sparkles: A repository of all the spells from D&D that could possibly be tweaked and twanged. Stored in markdown.

Mythril CI Docker

No description available

mythril VS sfuzz

Microservices-based, dynamically adaptive architecture orchestrates real-time analytics hub. implementing modern data warehousing patterns with high-performance architecture

A work-in-progress Semi-modular synthesizer framework in Rust

A lightweight Mythril for developers

No description available

Support resources and bug reporting for Mythril Tool Developers

Web API for Mythril - a Smart Contract Security Analysis Tool.

No description available

Mythril RPG is a menu-driven and console-based text-based RPG that uses math to determine the outcomes of encounters. It uses mathematical expressions, as well as random generation of number in the game mechanics.

AI-developed incremental RPG built with .NET 10 and Blazor WebAssembly. Features job-based 'Cadence' progression, FF8-inspired 'Junctioning' mechanics, and an integrated mathematical simulation engine for systems verification.

A teeny-tiny text-based, console driven, python RPG