Repos
27
Stars
94
Forks
17
Top Language
Solidity
Loading contributions...
Top Repositories
Data-driven exploit generation for Ethereum smart contracts using LLMs and Foundry
Formal verification effort for proving the ABDK Math 64.64 library properties using Echidna/hevm/Certora
Experimental fork for Echidna, an Ethereum smart contract fuzzer
symbolic EVM evaluator
Benchmark suite for smart-contract fuzzers
Repositories
27Data-driven exploit generation for Ethereum smart contracts using LLMs and Foundry
No description provided.
Formal verification effort for proving the ABDK Math 64.64 library properties using Echidna/hevm/Certora
Benchmark suite for smart-contract fuzzers
SCFuzzBench target for Superform v2 periphery (bug baseline + recon harness)
The core Arbitrum Nitro contracts deployed to the parent chain to host the rollup
No description provided.
An Awesome MCP Server Framework for Haskell
No description provided.
No description provided.
Extension to Scaffold, Run and Debug Invariant Tests with Echidna, Medusa, Halmos and Foundry. Always published under Recon-Fuzz. Recommend building from source.
symbolic EVM evaluator
No description provided.
Fuzzing campaign for https://github.com/drips-network/contracts
Very Liquid Vaults
Experimental fork for Echidna, an Ethereum smart contract fuzzer
A framework for evaluating AI audit agents using recent real-world data
No description provided.
Shapeshifting DEX that maximizes liquidity provider profits in all market conditions. Built on Uniswap v4.
Guidelines and training material to write secure smart contracts
Algebra AMM main repository
Morpho Blue Protocol
Nitro goes vroom and fixes everything
:chains: A Framework for Building High Value Public Blockchains :sparkles:
Liquity monorepo containing the contracts, SDK and Dev UI frontend.
Balancer on the EVM
DeepState augments C/C++ Test-Driven Development with Symbolic Execution