Recon's repositories
create-chimera-app
One click magically working Foundry + Medusa + Echidna Starter
call-test-undo
CallTestAndUndo - a simple abstract contract to help you write invariant tests that do not influence the story
prank-echidna-vs-foundry
Repro of issues with pranking when comparing echidna and foundry
setup-helpers
Contracts that simplify invariant suite setup
vaults-fuzzing-example
An example repo with properties defined for ERC4626 vaults (see Recon substack for accompanying post).
foundry-default-example
This repository is meant to be a simple example for setting up an invariant testing suite on
Invariants
A public collection of invariants to reuse, learn and kickstart a new project
dev
Liquity v1 monorepo containing the contracts, SDK and Dev UI frontend.
echidna
Ethereum smart contract fuzzer
ERC4626Tester
ERC4626 mock with functions to register yield and losses
hevm-precompile-crash-unexpected
Repro of an unexpected crash, we would expect the compiler to prevent calling into a pre-compile, however HEVM crashes echidna either way
nerite
Nerite's fork of the Liquity v2 monorepo containing the contracts, subgraph and frontend.
properties-table
A template for creating tables to track properties implemented for an invariant testing suite
recon-docs
Documentation for the Recon UI
safe-utils
Safe Smart Account utils
secops
Automated security operations for multisig proposals, simulations, and deployments
solidity-http
Solidity HTTP client
tenderly-utils
Interact with the Tenderly API from Foundry scripts