Pinned Loading

1. audits audits Public

   Audits and findings by MiloTruck

   173 21

2. regast regast Public

   A static analyzer for Solidity, built upon regex and ASTs.

   Python 25 7

3. evm-ctf-challenges evm-ctf-challenges Public

   CTF challenges made by MiloTruck

   Solidity 84 12

4. rational-math rational-math Public

   Solidity library for performing calculations with rational numbers.

   Solidity 1 2

5. security-guards security-guards Public

   Guards for Safe accounts

   Solidity 7 1

6. solmate-invariants solmate-invariants Public

   Fuzzing solmate with medusa

   Solidity 10