📦 Repomix is a powerful tool that packs your entire repository into a single, AI-friendly file. Perfect for when you need to feed your codebase to Large Language Models (LLMs) or other AI tools lik…

Toolkit for linearizing PDFs for LLM datasets/training

Hallucinations (Confabulations) Document-Based Benchmark for RAG. Includes human-verified questions and answers.

Taho, the community owned and operated Web3 wallet.

A fast, secure, and portable multichain light client for Ethereum

⚙️🦀 Build portable, modular & lightweight Fullstack Agents

ream: an Ethereum Beam client written in Rust

Ethereum beam client in Zig

a better dotenv–from the creator of `dotenv`

A collection of learning materials on the Beam chain and Ream client.

Aggregator for amazing ZKML resources

Your agent in your terminal, equipped with local tools: writes code, uses the terminal, browses the web, vision.

A curated list of awesome security resources for ZK.

A curated list of awesome web3 formal verification resources -- including tools, tutorials, articles and more.

symbolic EVM evaluator

SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.

Interactive formal verification tool for Yul programs

A complete computer science study plan to become a software engineer.

Convert code repos into an LLM prompt-friendly format. Mostly built by GPT-4.

Ethereum smart contract fuzzer

The LLM Evaluation Framework

Demystifying Exploitable Bugs in Smart Contracts

This repository contains a mindmap and stepwise resource to get started with Smart Contract Auditing. If you find anything missing or want to update existing resources, feel free to create a pull r…

Static smart contract code 4naly3er

Grok open release