diff --git a/runStableTokenCLI.sh b/runStableTokenCLI.sh
new file mode 100644
index 00000000..658c7663
--- /dev/null
+++ b/runStableTokenCLI.sh
@@ -0,0 +1 @@
+certoraRun specs/harness/StableDebtTokenHarness.sol:StableDebtTokenHarness --solc solc6.8 --verify StableDebtTokenHarness:specs/StableDebtToken.spec --settings -assumeUnwindCond,-useNonLinearArithmetic --cache StableDebtToken --staging master
\ No newline at end of file