SecurFi's repositories
ERCs
The Ethereum Request for Comment repository
Language:SolidityCC0-1.0000
daikon
Dynamic detection of likely invariants
NOASSERTION000
000
etherscan-contract-crawler
Retrieve verified contracts source code from etherscan
000
eigenda
Secure, high-throughput, and decentralized Data Availability
Language:GoNOASSERTION000
pyrometer
A tool for analyzing the security and parameters of a solidity smart contract
GPL-3.0000
simple-security-toolkit
A collection of practical security-focused guides and checklists for smart contract development
MIT000
checkthechain
ctc is a tool for collecting and analyzing historical data of Ethereum and other EVM chains
Apache-2.0000
MIT000