A compiled Python-like multi-paradigm programming language.

Semantic analyzer of EVM bytecode based on Mythril

Core Website - Laravel & VueJS

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.

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

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

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.

Dockerfile for building a Mythril docker image using Alpine distribution

✨ A repository of all the classes from D&D. Proportions modified to taste. Stored in markdown.

using some tools to analyze smart contracts's security

AI-powered smart contract security agent that scans Solidity code for vulnerabilities like reentrancy, overflow, and access control issues. Integrates with Slither and Mythril for static analysis, then uses LLMs to explain findings and suggest fixes. Built with Python, LangChain, and Web3 tools.

A simple, static portal which outlines our open source offerings based on Mythril.js .

Benchmark suite for smart contract vulnerability detection tools across 7 categories: static analysis, symbolic execution, fuzzing, formal verification, ML/DL, LLM agents, and hybrid. Evaluates Slither, Mythril, GPTScan & more on accuracy, coverage, and scalability. Supports review paper.

Smart-contract audit with Slither/Mythril/Echidna + LLM (DeepSeek). Reports to GCS. Tooling/automation.

Mythril sample

Audit Tools - Solidity

MultiTagging Demo using 6 smart contract analsysis tools