The TestMachine CLI is a command-line tool for analyzing smart contracts. This tool is excellent for developers who want to ensure that their contracts are secure and functioning as intended.

To use Testmachine, you must have Node.js ( 18.15.0 or above) installed and built with SSL support. (If you are using an official Node.js distribution, SSL is always built in.)

To install the TestMachine CLI, run:

To get started with the tool, run the below command to see a list of available commands

Then you can run it with:

for example:

You can find your token here below to make use of TestMachine CLI.

You need to be logged into your TestMachine account to see your API key. Token is only available for registered users.
Once logged in you can see your TestMachine token here.