Stars
ffs is a Fast Fuzzing Service CLI that runs your campaigns on the cloud
A CLI tool that converts Echidna fuzzer reproducer .txt files into executable Foundry test files.
Scrappy assistant that automates web3 bug hunting workflows. Tracks ongoing bug bounties and launches autonomous agents that can perform arbitrary tasks.
A shell/REPL for doing BLS12-381 arithmetic backed by Supranational's blst library
Schnorr VRFs and signatures on the Ristretto group
Advanced fuzzing via Model Based Testing for Cosmos blockchains
just solve it - a CLI utility to run a portfolio of SMT solvers in parallel
Extension to Scaffold, Run and Debug Invariant Tests with Echidna, Medusa and Foundry
Ethereum Proof-of-Stake Consensus Specifications
The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar
Intentionally flawed code with potential pitfalls in custom contracts for EIP7702 delegate accounts.
Generating structured data from arbitrary, unstructured input.
Tutorials for building modules for the Cosmos SDK
Code2Prompt is a powerful command-line tool that simplifies the process of providing context to Large Language Models (LLMs) by generating a comprehensive Markdown file containing the content of yo…
CodePrompt is the code repository loader interface that consumes your relevant code and turns it into a GPT prompt
A CLI tool to aggregate your codebase into a single Markdown file for use with Claude Projects or custom ChatGPTs.
Smart Contract Fuzzing Towards Profitable Vulnerabilities
A curated list of Cosmos ecosystem links, focusing on the security aspect of it
A modular framework for building EVM consensus clients ⛵️✨