Lists (2)
Stars
Uses Python to generate LLVM IR, compiles to bitcode, then links to sBPF using sbpf-linker
Language-agnostic AI auditor that autonomously builds and refines adaptive knowledge graphs for deep, iterative code reasoning.
This project is designed to capitalize on MEV attacks within the BSC network to generate profits.
A collection of resources to help you build better and more secure Solana programs. Kept up to date.
A lightweight, powerful framework for multi-agent workflows
A set of case studies for the Wintermute Alpha Challenge
A privacy-first, self-hosted, fully open source personal knowledge management software, written in typescript and golang.
Scrappy assistant that automates web3 bug hunting workflows. Tracks ongoing bug bounties and launches autonomous agents that can perform arbitrary tasks.
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…
learningggggggg 🐳
🛣️ The safest & most versatile multi-purpose execution contract (highway to MEV!)
A library built upon PyTorch for building embeddings on discrete event sequences using self-supervision
KTH Algorithm Competition Template Library (... eller KTHs AC-tillverkande lapp)
Burn is a next generation tensor library and Deep Learning Framework that doesn't compromise on flexibility, efficiency and portability.
Information about web3 security and programming tutorials/tools
Composio equips your AI agents & LLMs with 100+ high-quality integrations via function calling
cryo is the easiest way to extract blockchain data to parquet, csv, json, or python dataframes
Not so awesome Web3 Security Reasearcher roadmap by tpiliposian
An agent orchestration framework for economic agents
Low-code framework for building custom LLMs, neural networks, and other AI models