Narya.ai Invariant Examples

Narya engine works the best with Foundry framework. If you use Hardhat, you may want to check this Hardhat doc to make sure they could co-exist.

CLI

Install Narya CLI tool following steps here: NaryaAI/narya-cli

Setup

git submodule update --init --recursive

Validate tests

narya test

Run tests

You need to push the tests to http://narya.ai for full test coverage.