e2e testing framework for the interchain

The fastest way to understand complex Solidity smart contracts.

A simple to use and beautiful terminal-based activity feed for monitoring merged Pull Requests across multiple GitHub repositories. Perfect for bug bounty hunters, security researchers, and develop…

Collection of public security reviews

Language-agnostic AI auditor that autonomously builds and refines adaptive knowledge graphs for deep, iterative code reasoning.

An experimental MCP Server for foundry built for Solidity devs

Use your Mac trackpad as a weighing scale

Blazingly fast, modular and contributor friendly Solidity compiler, written in Rust

Reproduce ZKP vulnerabilities

To publicly communicate advisories about serious bugs in CosmWasm, wasmvm and wasmd

TensorZero is an open-source stack for industrial-grade LLM applications. It unifies an LLM gateway, observability, optimization, evaluation, and experimentation.

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

ZK proofs for responsible vulnerability disclosure on EVM.

Is like jq for Immunefi REST API. Search, filter and map structured data about bug bounty programs with ease.

Mutation testing for Go source code

Interactive formal verification tool for Yul programs

Reproduction of the $41M Curve reentrancy hacks on July 30 2023 using on-chain fuzzing with Echidna

Randomized testing for Go

Resources for the budding field of risk modelling and analysis in DeFi

This repository contains some content about BLS signature.

Guidelines and training material to write secure smart contracts

Inspired by https://www.solidity-by-example.org

Collection of Cosmos related resources

Every time a Bug Bounty Program in Immunefi modifies its policy, assets-in-scope, or bounties-table, a bot will commit those changes to this repo. To get a before/after diff of a project, go to `./…

Every time a Bug Bounty Program in Immunefi modifies its policy, assets-in-scope, or bounties-table, a bot will commit those changes to this repo. To get a before/after diff of a project go to `./p…

Heimdall is an advanced EVM smart contract toolkit specializing in bytecode analysis and extracting information from unverified contracts.