Bernhard Mueller

mini-agi. MiniAGI is a simple general-purpose AI agent based on the OpenAI API.

android_app_security_checklist. Android App Security Checklist

frida-detection. A couple of methods for detecting Frida on Android.

apkx. One-Step APK Decompilation With Multiple Backends

awesome-mythx-smart-contract-security-tools. A curated list of resources and tools for the MythX smart contract security API

smashing-smart-contracts. Writings on symbolic-execution-based security analysis of EVM smart contracts.

scrooge-mcetherface. Scrooge McEtherface is an Ethereum auto-looter that was presented at DEFCON 2019. It uses symbolic execution & SMT solving to generically generate exploit sequences that extract ETH from vulnerable smart contracts.

legion. Scrappy assistant that automates web3 bug hunting workflows. Tracks ongoing bug bounties and launches autonomous agents that can perform arbitrary tasks.

laser-ethereum. Symbolic virtual machine for Ethereum

darwin-gpt. A minimal self-replicating agent based on GPT-3.5/4

sabre. Security analyzer for Solidity smart contracts. Uses the MythX smart contract security service.

obfuscation-metrics. Processes and metrics for assessing obfuscation effectiveness

mythril. Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Roostock, Tron and other EVM-compatible blockchains.

rektosaurus. A test suite to check for client-side script injection on websites that display NFTs.

storm. A tool for crashing blockchain nodes

defi-hacking-playground. All the money legos. This is not meant for production use.

solfuzz. Check for assertion violations on Solidity smart contracts using grey-box fuzzing and symbolic analysis.

Auto-GPT. An experimental open-source attempt to make GPT-4 fully autonomous.

uncrackable_app. Mobile Crackmes

ladybug-love2d. A LÖVE port of the classic Arcade game Ladybug.

King-of-Pi. Who has the fastest algorithm for computing Pi?

not-so-smart-contracts. Examples of Solidity security issues

awesome-open-gpt. Collection of Open Source Projects Related to GPT，GPT相关开源项目合集🚀、精选🔥🔥

research2019. Links for the Research Meetup

awesome-decentralized-finance. A curated list of awesome decentralized finance projects

owasp-mstg. The Mobile Security Testing Guide (MSTG) is a manual for testing the security of mobile apps. It describes technical processes for verifying the controls listed in the OWASP Mobile Application Verification Standard (MASVS). The MSTG is meant to provide a baseline set of test cases for black-box and white-box security tests, and to help ensure completeness and consistency of the tests.

Apktool. A tool for reverse engineering Android apk files

API-Security-Checklist. Checklist of the most important security countermeasures when designing, testing, and releasing your API

vulnerable-truffle-project. JavaScript

smartbugs. SmartBugs: A Framework to Analyze Solidity Smart Contracts

mythril-ci. Mythril CI Docker

bug-bounty. Solidity

hummingbot. Hummingbot is open source software that helps you build trading bots that run on any exchange or blockchain

mancala-deepq. Solving the ancient game of Mancala with deep Q learning

evm-analyzer-bench-suites. Benchmark suites for evaluating Ethereum code analysis tools and code to run the suites

octopus. Security Analysis tool for WebAssembly module and Blockchain Smart Contracts (BTC/ETH/NEO/EOS)

Face-Depixelizer. Face Depixelizer based on "PULSE: Self-Supervised Photo Upsampling via Latent Space Exploration of Generative Models" repository.

skale-manager. A set of ETH mainnet smart contracts that manages SKALE validator network, for SKALE node registration, schain creation, bounties, delegation, distributed key generation and service level agreements

aave-flashloan-mix. A Brownie mix containing all you need to get started with developing flash loans

PoCo. iExec Proof of Contribution - [hub + PoCo + marketplace] smart contracts

JailbreakingLLMs. Python

groth16. Jupyter notebook with a commented implementation of Groth16 zero knowledge proofs.

transformers. 🤗 Transformers: State-of-the-art Natural Language Processing for Pytorch, TensorFlow, and JAX.

memetic-natural-selection. The algorithm that creates all of Reality

2025-01-liquid-ron. Solidity

karl. Monitor smart contracts deployed on blockchain and test against vulnerabilities with Mythril

cosmos-sdk. :chains: A Framework for Building High Value Public Blockchains :sparkles:

devcon4.

oyente. An Analysis Tool for Smart Contracts

ethereum-developer-tools-list. A guide to available tools and platforms for developing on Ethereum.