Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion .github/workflows/build.yml
Original file line number Diff line number Diff line change
Expand Up @@ -10,4 +10,4 @@ jobs:
- name: Check URLs
uses: lycheeverse/lychee-action@v2
with:
args: readme.md --verbose --accept 200,403 --exclude www.linkedin.com/company/solidity-developer
args: readme.md --verbose --accept 200,403 --exclude www.linkedin.com/company/solidity-developer --exclude tenderly.co --config lychee.toml
3 changes: 3 additions & 0 deletions lychee.toml
Original file line number Diff line number Diff line change
@@ -0,0 +1,3 @@
max_concurrency = 8
max_retries = 3
retry_wait_time = 5
2 changes: 2 additions & 0 deletions readme.md
Original file line number Diff line number Diff line change
Expand Up @@ -65,6 +65,7 @@ Smart contract programming language for the Ethereum Virtual Machine.
- [Aderyn](https://github.com/Cyfrin/aderyn) - Rust-based static analysis tool for Solidity by Cyfrin. [![Stars](https://badgen.net/github/stars/Cyfrin/aderyn)](https://github.com/Cyfrin/aderyn)
- [Certora Prover](https://www.certora.com/) - Formal verification for smart contracts.
- [Echidna](https://github.com/crytic/echidna) - Property-based fuzzer for smart contracts. [![Stars](https://badgen.net/github/stars/crytic/echidna)](https://github.com/crytic/echidna)
- [evmbench](https://github.com/paradigmxyz/evmbench) - Benchmark and harness for finding and exploiting smart contract vulnerabilities. [![Stars](https://badgen.net/github/stars/paradigmxyz/evmbench)](https://github.com/paradigmxyz/evmbench)
- [Forta Network](https://docs.forta.network/en/latest/) - Decentralized runtime security monitoring network for smart contracts. [![Stars](https://badgen.net/github/stars/forta-network/forta-contracts)](https://github.com/forta-network/forta-contracts)
- [Manticore](https://github.com/trailofbits/manticore) - Symbolic execution tool for smart contract and binary analysis. [![Stars](https://badgen.net/github/stars/trailofbits/manticore)](https://github.com/trailofbits/manticore)
- [Medusa](https://github.com/crytic/medusa) - Parallel fuzzing engine for smart contracts with advanced techniques. [![Stars](https://badgen.net/github/stars/crytic/medusa)](https://github.com/crytic/medusa)
Expand All @@ -79,6 +80,7 @@ Smart contract programming language for the Ethereum Virtual Machine.

- [evm.codes](https://www.evm.codes/) - EVM opcode gas reference. [![Stars](https://badgen.net/github/stars/duneanalytics/evm.codes)](https://github.com/duneanalytics/evm.codes)
- [Foundry Gas Reports](https://www.getfoundry.sh/forge/gas-tracking) - Built-in gas profiling for Solidity tests.
- [RareSkills Book of Solidity Gas Optimization](https://rareskills.io/post/gas-optimization) - Comprehensive guide covering 80+ gas optimization techniques including assembly and storage patterns.
- [Solidity Optimizer](https://docs.soliditylang.org/en/latest/internals/optimizer.html) - Detailed explanation of Solidity's optimizer stages and components.

## Upgradeable Contracts
Expand Down
Loading