Loading repository data…
goatfi / repository
This repository contains the core smart contracts of Goat.
A transparent discovery signal based on current public GitHub metadata.
This score does not audit code, security, maintainers, documentation quality, or suitability. Verify the repository and its current documentation before adoption.
This repository contains the the codebase for the core infrastructure of Goat Multistrategy contracts, built with Foundry. It also contains the spec and configuration files used to formaly verify the codebase with Certora.
To install the Certora CLI using a Python virtual environment, follow these steps:
Create a virtual environment:
python3 -m venv venv
Activate the virtual environment:
source venv/bin/activate
Install the Certora CLI:
pip3 install certora-cli
Set the Certora access key in your .zshenv file:
export CERTORAKEY=<personal_access_key>
After installation, you can use Certora CLI commands within the activated virtual environment.
To exit the the virtual environment when done:
deactivate
Selected from shared topics, language and repository description—not editorial ratings.
aave /
This repository contains the core smart contracts of the Aave V3 protocol.
25/100 healthQuillhash /
This Repository contains list of Common Solidity SmartContract Attack Vectors. If you find any attack vectors missing, you can create a pull request and be a contributor of the project.
77/100 healthsmartbugs /
This repository contains 47,398 smart contracts extracted from the Ethereum network.
84/100 healthYosephKS /
This repository contains tutorial on building Upgradable Smart Contracts and showcasing it with a simple NFT Minter dApp with React and Moralis.
74/100 healthtinotendajoe01 /
This repository contains projects implementing both low-level and high-level concepts of Solidity in an incremental learning pattern
63/100 healthvalixconsulting /
Public audit reports - this repository contains only public audit reports
45/100 health