Agora Stable Swap

Agora Stable Swap is designed to provide stablecoin swaps for whitelisted addresses. This repository contains the smart contracts and related code.

Prerequisites

Before you begin, ensure you have met the following requirements:

• Node.js: You need to have Node.js installed.
• npm: Node.js package manager, which is installed with Node.js.
• Solidity Compiler: Required for compiling smart contracts. You can use Forge from the Foundry toolkit.

Installation

To set up the project locally, follow these steps:

1. Install dependencies:

   npm install

2. Compile the contracts:

   forge build

Ecosystem Participants

Key Contracts and their inheritance

Running Halmos

• Install Halmos
• Run halmos in the root directory