Gambit

Mutation testing

Introduces faults (mutants) into the Solidity contract being tested to measure the effectiveness of the test suite in detecting these alterations.

Integration with Certora Prover

Allows mutations generated by Gambit to evaluate both tests and formal specifications when running Certora Prover.

Command line interface

Runs easily with command line tools, enabling straightforward integration into existing workflows.

Results visualization

Provides a Gambit dashboard for viewing and analyzing test results, offering insights on violations to improve tests.

Open source availability

Allows users to explore or contribute to the project through its GitHub repository.