The Tezos Client plugin provides tasks to analyze contracts including type checking and simulating of Michelson (.tz) smart contracts. They both execute against a protocol (currently kathmandu). We'll enable a --protocol flag in the future to allow users to specify a protocol to use
This plugin was formally caleld the Tezos Client Plugin.
For more information, please see our documentation for the Octez Client plugin