Gambit by Certora is an open source Solidity mutation testing tool designed to evaluate and strengthen testing suites for smart contracts. It introduces faults, called mutants, into the chosen contract for testing and measures the test suite's ability to detect these mutants. Gambit operates on the principle that the more mutants a test suite can detect, the better its quality.
