diff --git a/package.json b/package.json
index 603790094..be036d37f 100644
--- a/package.json
+++ b/package.json
@@ -50,6 +50,7 @@
     "@vueuse/head": "^2.0.0",
     "autolinker": "^4.0.0",
     "bluebird": "^3.7.2",
+    "evm-proxy-detection": "^1.2.0",
     "graphql": "16.6.0",
     "graphql-tag": "^2.12.6",
     "js-sha256": "^0.10.1",
diff --git a/src/assets/icons/tenderly.svg b/src/assets/icons/tenderly.svg
new file mode 100644
index 000000000..697394e0e
--- /dev/null
+++ b/src/assets/icons/tenderly.svg
@@ -0,0 +1,21 @@
+<svg xmlns="http://www.w3.org/2000/svg" fill="none" viewBox="0 0 21 20">
+  <g clip-path="url(#tenderly-clip-a)">
+    <path
+      fill="#9573F5"
+      d="m15.152 6 5.235-2.917.004 5.665-4.055 2.259c-2.766 1.54-4.36 3.562-5.004 5.356-.644 1.794-.55 2.823-.57 3.271 0-2.856.01-3.71.01-6.115 0-.592.068-1.244.148-1.556 0 0 .688-3.99 4.232-5.964Z"
+    />
+    <path
+      fill="#6837F1"
+      d="m10.76 13.643.003 5.992-4.953-2.751-.002-4.642c-.001-3.166-.992-5.541-2.247-6.977C2.307 3.83 1.362 3.397.981 3.161c2.47 1.326 3.125 1.684 5.232 2.816.522.28 1.202.814 1.436 1.036 0 0 3.11 2.573 3.11 6.63Z"
+    />
+    <path
+      fill="#D2C3FB"
+      d="M15.144 6c2.113-1.161 3.647-2.032 5.242-2.916-.401.203-1.259.793-3.15 1.115a10.505 10.505 0 0 1-7.293-1.405L5.925.365.98 3.161l5.406 2.902c1.347.808 4.709 2.161 8.758-.063Z"
+    />
+  </g>
+  <defs>
+    <clipPath id="tenderly-clip-a">
+      <path fill="#fff" d="M0 0h21v20H0z" />
+    </clipPath>
+  </defs>
+</svg>
diff --git a/src/plugins/oSnap/Create.vue b/src/plugins/oSnap/Create.vue
index 7bbe3e9ff..df9e4aa2a 100644
--- a/src/plugins/oSnap/Create.vue
+++ b/src/plugins/oSnap/Create.vue
@@ -14,12 +14,10 @@ import {
   Transaction
 } from './types';
 import {
-  allTransactionsValid,
   getGnosisSafeBalances,
   getGnosisSafeCollectibles,
   getIsOsnapEnabled,
-  getModuleAddressForTreasury,
-  validateOsnapTransaction
+  getModuleAddressForTreasury
 } from './utils';
 import OsnapMarketingWidget from './components/OsnapMarketingWidget.vue';
 
@@ -286,6 +284,7 @@ onMounted(async () => {
             :collectables="collectables"
             :network="newPluginData.safe.network"
             :transactions="newPluginData.safe.transactions"
+            :safe="newPluginData.safe"
             @add-transaction="addTransaction"
             @remove-transaction="removeTransaction"
             @update-transaction="updateTransaction"
diff --git a/src/plugins/oSnap/Proposal.vue b/src/plugins/oSnap/Proposal.vue
index 4a2261290..ad5fc57fa 100644
--- a/src/plugins/oSnap/Proposal.vue
+++ b/src/plugins/oSnap/Proposal.vue
@@ -8,6 +8,7 @@ import ReadOnly from './components/Input/ReadOnly.vue';
 import SafeLinkWithAvatar from './components/SafeLinkWithAvatar.vue';
 import { GnosisSafe, Transaction } from './types';
 import OsnapMarketingWidget from './components/OsnapMarketingWidget.vue';
+import TenderlySimulation from './components/TransactionBuilder/TenderlySimulation.vue';
 
 const keyOrder = [
   'to',
@@ -59,9 +60,11 @@ function enrichTransactionForDisplay(transaction: Transaction) {
       ...commonProperties,
       type: 'Contract interaction',
       'method name': method.name,
-      ...Object.fromEntries(method.inputs.map((input,i)=>{
-        return [`${input.name} (param ${i+1}): `,parameters[i]]
-      }))
+      ...Object.fromEntries(
+        method.inputs.map((input, i) => {
+          return [`${input.name} (param ${i + 1}): `, parameters[i]];
+        })
+      )
     };
   }
   if (transaction.type === 'transferFunds') {
@@ -97,7 +100,7 @@ function enrichTransactionForDisplay(transaction: Transaction) {
 <template>
   <template v-if="safe.transactions.length > 0">
     <div
-      class="flex w-full flex-col gap-4 rounded-2xl border border-gray-200 p-3 md:p-4 relative"
+      class="flex w-full flex-col gap-4 rounded-2xl border border-skin-border p-3 md:p-4 relative"
     >
       <OsnapMarketingWidget class="absolute top-[-16px] right-[16px]" />
       <h2 class="text-lg">oSnap Transactions</h2>
@@ -120,6 +123,12 @@ function enrichTransactionForDisplay(transaction: Transaction) {
         </ReadOnly>
       </div>
 
+      <TenderlySimulation
+        :transactions="safe.transactions"
+        :safe="safe"
+        :network="safe.network"
+      />
+
       <HandleOutcome
         v-if="!!results"
         :space="space"
diff --git a/src/plugins/oSnap/components/Input/Address.vue b/src/plugins/oSnap/components/Input/Address.vue
index 99189b069..00895563c 100644
--- a/src/plugins/oSnap/components/Input/Address.vue
+++ b/src/plugins/oSnap/components/Input/Address.vue
@@ -4,6 +4,7 @@ import { mustBeEthereumAddress } from '../../utils';
 const props = defineProps<{
   modelValue: string;
   label: string;
+  error?: string;
   disabled?: boolean;
 }>();
 const emit = defineEmits<{
@@ -12,12 +13,25 @@ const emit = defineEmits<{
 
 const input = ref('');
 const dirty = ref(false);
-const error = computed(() => {
-  if (!dirty.value) return '';
-  if (input.value === '') return 'Address is required';
-  if (!mustBeEthereumAddress(input.value)) return 'Invalid address';
-  return '';
-});
+const error = ref('');
+
+const validate = () => {
+  if (!dirty.value) {
+    error.value = '';
+    return;
+  }
+  if (input.value === '') {
+    error.value = 'Address is required';
+    return;
+  }
+  if (!mustBeEthereumAddress(input.value)) {
+    error.value = 'Invalid address';
+    return;
+  }
+  error.value = '';
+};
+
+watch(input, validate);
 
 watch(
   () => props.modelValue,
@@ -41,7 +55,7 @@ const handleInput = () => {
   <UiInput
     v-model="input"
     :disabled="disabled"
-    :error="error !== '' && error"
+    :error="props.error ?? (error || '')"
     @input="handleInput()"
     @blur="dirty = true"
   >
diff --git a/src/plugins/oSnap/components/TransactionBuilder/ContractInteraction.vue b/src/plugins/oSnap/components/TransactionBuilder/ContractInteraction.vue
index c749c5efe..8de38cf8f 100644
--- a/src/plugins/oSnap/components/TransactionBuilder/ContractInteraction.vue
+++ b/src/plugins/oSnap/components/TransactionBuilder/ContractInteraction.vue
@@ -1,16 +1,20 @@
 <script setup lang="ts">
 import { FunctionFragment } from '@ethersproject/abi';
 import { isAddress } from '@ethersproject/address';
+import { asyncComputed, useDebounceFn } from '@vueuse/core';
 
-import { ContractInteractionTransaction, Network } from '../../types';
+import { ContractInteractionTransaction, Network, Status } from '../../types';
 import {
+  checkIsContract,
   createContractInteractionTransaction,
+  fetchImplementationAddress,
   getABIWriteFunctions,
   getContractABI,
   parseValueInput
 } from '../../utils';
 import AddressInput from '../Input/Address.vue';
 import MethodParameterInput from '../Input/MethodParameter.vue';
+import { sleep } from '@snapshot-labs/snapshot.js/src/utils';
 
 const props = defineProps<{
   network: Network;
@@ -22,12 +26,26 @@ const emit = defineEmits<{
   updateTransaction: [transaction: ContractInteractionTransaction];
 }>();
 
-const to = ref(props.transaction.to ?? '');
+const to = ref('');
+
+const isToContract = asyncComputed(() => {
+  if (!isAddress(to.value)) {
+    return true;
+  }
+  return checkIsContract(to.value, props.network);
+}, true);
+
 const isToValid = computed(() => {
   return to.value !== '' && isAddress(to.value);
 });
-const abi = ref(props.transaction.abi ?? '');
+
+const abi = ref('');
+const abiFetchStatus = ref<Status>(Status.IDLE);
+const implementationAddress = ref('');
+const showAbiChoiceModal = ref(false);
+
 const isAbiValid = ref(true);
+const abiError = ref<string>();
 const value = ref(props.transaction.value ?? '0');
 const isValueValid = ref(true);
 const methods = ref<FunctionFragment[]>([]);
@@ -60,11 +78,20 @@ function updateTransaction() {
       parameters: parameters.value
     });
     emit('updateTransaction', transaction);
-  } catch {
+  } catch (error) {
+    console.error(error);
     props.setTransactionAsInvalid();
   }
 }
 
+async function handleFail() {
+  abiFetchStatus.value = Status.FAIL;
+  await sleep(3000);
+  if (abiFetchStatus.value === Status.FAIL) {
+    abiFetchStatus.value = Status.IDLE;
+  }
+}
+
 function updateParameter(index: number, value: string) {
   parameters.value[index] = value;
 }
@@ -75,22 +102,80 @@ function updateMethod(methodName: string) {
 }
 
 function updateAbi(newAbi: string) {
-  abi.value = newAbi;
-  methods.value = [];
+  if (newAbi === abi.value) {
+    return;
+  }
   try {
+    abi.value = newAbi;
     methods.value = getABIWriteFunctions(abi.value);
     isAbiValid.value = true;
     updateMethod(methods.value[0].name);
+    parameters.value = [];
   } catch (error) {
-    isAbiValid.value = false;
-    console.warn('error extracting useful methods', error);
+    handleFail();
+    abiError.value = 'Error extracting write methods.';
   }
 }
 
-async function updateAddress() {
-  const result = await getContractABI(props.network, to.value);
-  if (result && result !== abi.value) {
-    updateAbi(result);
+const debouncedUpdateAddress = useDebounceFn(() => {
+  if (isAddress(to.value)) {
+    fetchABI();
+  }
+}, 300);
+
+async function handleUseProxyAbi() {
+  showAbiChoiceModal.value = false;
+  try {
+    const res = await getContractABI(props.network, to.value);
+    if (!res) {
+      throw new Error('Failed to fetch ABI.');
+    }
+    updateAbi(res);
+    abiFetchStatus.value = Status.SUCCESS;
+  } catch (error) {
+    handleFail();
+    console.error(error);
+  }
+}
+
+async function handleUseImplementationAbi() {
+  showAbiChoiceModal.value = false;
+  try {
+    if (!implementationAddress.value) {
+      throw new Error('No Implementation address');
+    }
+    const res = await getContractABI(
+      props.network,
+      implementationAddress.value
+    );
+    if (!res) {
+      throw new Error('Failed to fetch ABI.');
+    }
+    abiFetchStatus.value = Status.SUCCESS;
+    updateAbi(res);
+  } catch (error) {
+    handleFail();
+    console.error(error);
+  }
+}
+
+async function fetchABI() {
+  try {
+    abiFetchStatus.value = Status.LOADING;
+    if (!isToContract.value) {
+      throw new Error('Address provided is not a contract on this network');
+    }
+    const res = await fetchImplementationAddress(to.value, props.network);
+    if (!res) {
+      handleUseProxyAbi();
+      return;
+    }
+    // if proxy, let user decide which ABI we should fetch
+    implementationAddress.value = res;
+    showAbiChoiceModal.value = true;
+  } catch (error) {
+    handleFail();
+    console.error(error);
   }
 }
 
@@ -111,6 +196,11 @@ watch(abi, updateTransaction);
 watch(selectedMethodName, updateTransaction);
 watch(selectedMethod, updateTransaction);
 watch(parameters, updateTransaction, { deep: true });
+
+function handleDismissModal() {
+  abiFetchStatus.value = Status.IDLE;
+  showAbiChoiceModal.value = false;
+}
 </script>
 
 <template>
@@ -118,7 +208,10 @@ watch(parameters, updateTransaction, { deep: true });
     <AddressInput
       v-model="to"
       :label="$t('safeSnap.to')"
-      @update:model-value="updateAddress()"
+      :disabled="abiFetchStatus === Status.LOADING"
+      :error="!isToContract ? 'Not Contract address' : undefined"
+      :network="network"
+      @update:model-value="debouncedUpdateAddress()"
     />
 
     <UiInput
@@ -130,12 +223,28 @@ watch(parameters, updateTransaction, { deep: true });
     </UiInput>
 
     <UiInput
-      :error="!isAbiValid && $t('safeSnap.invalidAbi')"
+      :disabled="abiFetchStatus === Status.LOADING"
+      :error="!isAbiValid && (abiError ?? $t('safeSnap.invalidAbi'))"
       :model-value="abi"
       @update:model-value="updateAbi($event)"
     >
       <template #label>ABI</template>
     </UiInput>
+    <div
+      v-if="abiFetchStatus === Status.LOADING"
+      class="flex items-center justify-start gap-2 p-2"
+    >
+      <LoadingSpinner />
+      <p>Fetching ABI...</p>
+    </div>
+
+    <div
+      v-if="abiFetchStatus === Status.FAIL"
+      class="flex items-center justify-start gap-2 p-2 text-red"
+    >
+      <BaseIcon name="warning" class="text-inherit" />
+      <p>Failed to fetch ABI</p>
+    </div>
 
     <div v-if="methods.length">
       <UiSelect v-model="selectedMethodName" @change="updateMethod($event)">
@@ -161,4 +270,22 @@ watch(parameters, updateTransaction, { deep: true });
       </div>
     </div>
   </div>
+
+  <BaseModal :open="showAbiChoiceModal" @close="handleDismissModal">
+    <template #header>
+      <h3 class="text-left px-3">Use Implementation ABI?</h3>
+    </template>
+    <div class="flex flex-col gap-4 p-3">
+      <p class="pr-8">
+        This contract looks like a proxy. Would you like to use the
+        implementation ABI?
+      </p>
+      <div class="flex gap-2 justify-center">
+        <TuneButton @click="handleUseProxyAbi"> Keep proxy ABI </TuneButton>
+        <TuneButton @click="handleUseImplementationAbi">
+          Use Implementation ABI
+        </TuneButton>
+      </div>
+    </div>
+  </BaseModal>
 </template>
diff --git a/src/plugins/oSnap/components/TransactionBuilder/TenderlySimulation.vue b/src/plugins/oSnap/components/TransactionBuilder/TenderlySimulation.vue
new file mode 100644
index 000000000..9ec32b92f
--- /dev/null
+++ b/src/plugins/oSnap/components/TransactionBuilder/TenderlySimulation.vue
@@ -0,0 +1,199 @@
+<script setup lang="ts">
+import { sleep } from '@snapshot-labs/snapshot.js/src/utils';
+import {
+  Transaction as TTransaction,
+  Network,
+  TenderlySimulationResult,
+  GnosisSafe,
+  isErrorWithMessage
+} from '../../types';
+import { ref } from 'vue';
+import {
+  SIMULATION_ENDPOINT,
+  exceedsOsnapGasSubsidy,
+  prepareTenderlySimulationPayload,
+  validatePayload,
+  OSNAP_GAS_SUBSIDY
+} from '../../utils/tenderly';
+
+const props = defineProps<{
+  transactions: TTransaction[];
+  safe: GnosisSafe | null;
+  network: Network;
+}>();
+
+type State =
+  | {
+      status: 'SUCCESS';
+      simulationLink: TenderlySimulationResult['resultUrl'];
+      gasUsed: TenderlySimulationResult['gasUsed'];
+      exceedsGasSubsidy: boolean;
+    }
+  | {
+      status: 'FAIL';
+      simulationLink: TenderlySimulationResult['resultUrl'];
+      gasUsed: TenderlySimulationResult['gasUsed'];
+      exceedsGasSubsidy: boolean;
+    }
+  | {
+      status: 'ERROR';
+      error: string;
+    }
+  | {
+      status: 'LOADING';
+    }
+  | {
+      status: 'IDLE';
+    };
+
+const simulationState = ref<State>({ status: 'IDLE' });
+
+const resetState = () => {
+  simulationState.value = { status: 'IDLE' };
+};
+
+function handleSimulationResult(res: TenderlySimulationResult) {
+  // if gas exceeds osnap gas subsidy, tx will not be automatically executed
+  const exceedsGasSubsidy = exceedsOsnapGasSubsidy(res);
+
+  if (res.status === true) {
+    simulationState.value = {
+      status: 'SUCCESS',
+      simulationLink: res.resultUrl,
+      gasUsed: res.gasUsed,
+      exceedsGasSubsidy
+    };
+  } else {
+    simulationState.value = {
+      status: 'FAIL',
+      simulationLink: res.resultUrl,
+      gasUsed: res.gasUsed,
+      exceedsGasSubsidy
+    };
+  }
+}
+
+async function simulate() {
+  simulationState.value = { status: 'LOADING' };
+  try {
+    const payload = prepareTenderlySimulationPayload(props);
+
+    // throws if invalid
+    validatePayload(payload);
+
+    const response = await fetch(SIMULATION_ENDPOINT, {
+      headers: new Headers({
+        'content-type': 'application/json'
+      }),
+      method: 'POST',
+      body: JSON.stringify(payload)
+    });
+
+    if (!response.ok) {
+      throw new Error('Error running simulation');
+    }
+
+    const data: TenderlySimulationResult = await response.json();
+    handleSimulationResult(data);
+  } catch (error) {
+    console.error(error);
+    if (isErrorWithMessage(error)) {
+      simulationState.value = { status: 'ERROR', error: error.message };
+    } else {
+      simulationState.value = {
+        status: 'ERROR',
+        error: 'Failed to simulate!'
+      };
+    }
+    await sleep(5_000);
+    simulationState.value = {
+      status: 'IDLE'
+    };
+  }
+}
+</script>
+
+<template>
+  <div>
+    <button
+      v-if="
+        !(
+          simulationState.status === 'SUCCESS' ||
+          simulationState.status === 'FAIL'
+        )
+      "
+      @click="simulate"
+      :disabled="simulationState.status !== 'IDLE'"
+      :class="[
+        'flex w-full enabled:hover:border-skin-text gap-2 justify-center h-[48px] px-[20px] items-center border disabled:cursor-not-allowed rounded-full border-skin-border',
+        {
+          'text-red': simulationState.status === 'ERROR'
+        }
+      ]"
+    >
+      <i-s-tenderly class="text-skin-link inline h-[20px] w-[20px]" />
+      <span v-if="simulationState.status === 'IDLE'">Simulate Transaction</span>
+      <span v-if="simulationState.status === 'LOADING'"
+        >Checking transaction...</span
+      >
+      <span class="text-xs" v-if="simulationState.status === 'ERROR'">{{
+        simulationState.error
+      }}</span>
+
+      <LoadingSpinner
+        class="ml-auto"
+        v-if="simulationState.status === 'LOADING'"
+      />
+    </button>
+    <div class="flex flex-col gap-2" v-else>
+      <div
+        :class="[
+          'flex w-full text-sm md:text-[18px] justify-between h-[48px] px-[20px] items-center rounded-full',
+          {
+            'bg-green/20 text-green': simulationState.status === 'SUCCESS',
+            'bg-red/20 text-red': simulationState.status === 'FAIL'
+          }
+        ]"
+      >
+        <div class="flex items-center gap-2">
+          <i-s-tenderly class="inline h-[20px] w-[20px] text-inherit" />
+          <span v-if="simulationState.status === 'SUCCESS'">Success!</span>
+          <span v-if="simulationState.status === 'FAIL'"
+            >Transaction failed!</span
+          >
+        </div>
+        <a
+          v-if="simulationState.simulationLink.public"
+          target="_blank"
+          class="flex items-center gap-1 text-inherit hover:underline"
+          :href="simulationState.simulationLink.url"
+        >
+          <span>View on Tenderly</span>
+          <IHoExternalLink class="text-inherit inline w-[1.2em] h-[1.2em]" />
+        </a>
+        <div v-else class="text-inherit">Simulation not public</div>
+      </div>
+
+      <TuneButton
+        class="group text-sm md:text-[18px] hover:cursor-pointer justify-center w-full flex gap-2 mx-auto items-center"
+        :tooltip="'Reset Simulation'"
+        @click="resetState"
+      >
+        Reset Simulation
+        <IHoRefresh class="text-inherit w-[1em] h-[1em]" />
+      </TuneButton>
+
+      <p v-if="simulationState.exceedsGasSubsidy" class="text-sm text-left">
+        <strong class="text-skins text-base text-red">Warning:</strong>
+        This transaction will
+        <strong class="underline"
+          >not be automatically executed by oSnap.</strong
+        >
+        This transaction used
+        {{ simulationState.gasUsed.toLocaleString() }} gas, which exceeds
+        oSnap's maximum subsidized amount of
+        {{ OSNAP_GAS_SUBSIDY.toLocaleString() }}.
+      </p>
+    </div>
+  </div>
+</template>
diff --git a/src/plugins/oSnap/components/TransactionBuilder/TransactionBuilder.vue b/src/plugins/oSnap/components/TransactionBuilder/TransactionBuilder.vue
index afaa45019..70fc2771a 100644
--- a/src/plugins/oSnap/components/TransactionBuilder/TransactionBuilder.vue
+++ b/src/plugins/oSnap/components/TransactionBuilder/TransactionBuilder.vue
@@ -1,9 +1,16 @@
 <script setup lang="ts">
 import { ExtendedSpace, Proposal, Results } from '@/helpers/interfaces';
 import { shorten } from '@/helpers/utils';
-import { NFT, Network, Transaction as TTransaction, Token } from '../../types';
+import {
+  GnosisSafe,
+  NFT,
+  Network,
+  Transaction as TTransaction,
+  Token
+} from '../../types';
 import { getSafeAppLink } from '../../utils';
 import Transaction from './Transaction.vue';
+import TenderlySimulation from './TenderlySimulation.vue';
 
 const props = defineProps<{
   safeAddress: string;
@@ -15,6 +22,7 @@ const props = defineProps<{
   proposal?: Proposal;
   space: ExtendedSpace;
   results?: Results;
+  safe: GnosisSafe | null;
 }>();
 
 const emit = defineEmits<{
@@ -64,6 +72,13 @@ const safeLink = computed(() =>
       @update-transaction="(...args) => emit('updateTransaction', ...args)"
       @remove-transaction="(...args) => emit('removeTransaction', ...args)"
     />
+    <TenderlySimulation
+      v-if="transactions.length"
+      :transactions="transactions"
+      :safe="props.safe"
+      :network="props.network"
+      class="mt-4"
+    />
   </div>
 
   <TuneButton
diff --git a/src/plugins/oSnap/types.ts b/src/plugins/oSnap/types.ts
index 92d87767b..761ab183f 100644
--- a/src/plugins/oSnap/types.ts
+++ b/src/plugins/oSnap/types.ts
@@ -28,7 +28,7 @@ export type SafeNetworkPrefixes = typeof safePrefixes;
  * One of the supported network prefixes as defined in EIP-3770 used by Safe apps.
  * @see SafeNetworkPrefixes
  */
-export type SafeNetworkPrefix = SafeNetworkPrefixes[Network];
+export type SafeNetworkPrefix = SafeNetworkPrefixes[keyof SafeNetworkPrefixes];
 
 /**
  * Represents the four different types of transactions that oSnap supports.
@@ -406,3 +406,34 @@ export type OGProposalState =
   | (AssertionTransactionDetails & {
       status: 'transactions-executed';
     });
+
+interface ResultUrl {
+  url: string; // This is the URL to the simulation result page (public or private).
+  public: boolean; // This is false if the project is not publicly accessible.
+}
+
+export interface TenderlySimulationResult {
+  id: string;
+  status: boolean; // True if the simulation succeeded, false if it reverted.
+  gasUsed: number;
+  resultUrl: ResultUrl;
+}
+
+export type ErrorWithMessage = InstanceType<typeof Error> & {
+  message: string;
+};
+
+// predicate for better error handling
+export function isErrorWithMessage(error: unknown): error is ErrorWithMessage {
+  return error !== null && typeof error === 'object' && 'message' in error;
+}
+
+export const Status = {
+  IDLE: 'IDLE',
+  LOADING: 'LOADING',
+  SUCCESS: 'SUCCESS',
+  FAIL: 'FAIL',
+  ERROR: 'ERROR'
+} as const;
+
+export type Status = keyof typeof Status;
diff --git a/src/plugins/oSnap/utils/getters.ts b/src/plugins/oSnap/utils/getters.ts
index b03912c3b..4f070acaa 100644
--- a/src/plugins/oSnap/utils/getters.ts
+++ b/src/plugins/oSnap/utils/getters.ts
@@ -9,6 +9,7 @@ import { toUtf8Bytes } from '@ethersproject/strings';
 import { multicall } from '@snapshot-labs/snapshot.js/src/utils';
 import getProvider from '@snapshot-labs/snapshot.js/src/utils/provider';
 import memoize from 'lodash/memoize';
+import detectProxyTarget from 'evm-proxy-detection';
 import {
   ERC20_ABI,
   GNOSIS_SAFE_TRANSACTION_API_URLS,
@@ -753,3 +754,16 @@ export function getOracleUiLink(
   }
   return `https://testnet.oracle.uma.xyz?transactionHash=${txHash}&eventIndex=${logIndex}`;
 }
+
+export async function fetchImplementationAddress(
+  proxyAddress: string,
+  network: string
+): Promise<string | undefined> {
+  try {
+    const provider = getProvider(network);
+    const requestFunc = ({ method, params }) => provider.send(method, params);
+    return (await detectProxyTarget(proxyAddress, requestFunc)) ?? undefined;
+  } catch (error) {
+    console.error(error);
+  }
+}
diff --git a/src/plugins/oSnap/utils/tenderly.ts b/src/plugins/oSnap/utils/tenderly.ts
new file mode 100644
index 000000000..33c0e09d8
--- /dev/null
+++ b/src/plugins/oSnap/utils/tenderly.ts
@@ -0,0 +1,62 @@
+import {
+  OsnapPluginData,
+  Transaction as TTransaction,
+  GnosisSafe,
+  Network,
+  TenderlySimulationResult
+} from '../types';
+import {
+  validateModuleAddress,
+  validateTransaction
+} from '../utils/validators';
+
+export const SIMULATION_ENDPOINT =
+  'https://ethereum-api-read-prod-77jg7zf4ea-ue.a.run.app/osnap/simulate';
+
+export const OSNAP_GAS_SUBSIDY = 500_000;
+
+export function validatePayload(data: OsnapPluginData): void | never {
+  const { safe } = data;
+  if (!safe) {
+    throw new Error('No safe data');
+  }
+  if (!validateModuleAddress(safe.network, safe?.moduleAddress)) {
+    throw new Error('Module address is incorrect for this network');
+  }
+  if (!(safe.transactions.length > 0)) {
+    throw new Error('No transactions to simulate');
+  }
+  safe.transactions.forEach((tx, i) => {
+    if (!tx.isValid) {
+      throw new Error(`Transaction ${i + 1} in invalid`);
+    }
+  });
+  return;
+}
+
+export function prepareTenderlySimulationPayload(props: {
+  transactions: TTransaction[];
+  safe: GnosisSafe | null;
+  network: Network;
+}): OsnapPluginData {
+  // this will not happen in this component
+  if (!props.safe) {
+    throw new Error('No safe selected');
+  }
+
+  const { safeAddress, safeName } = props.safe;
+
+  const payload: GnosisSafe = {
+    safeAddress,
+    safeName,
+    network: props.network,
+    moduleAddress: props.safe.moduleAddress,
+    transactions: props.transactions
+  };
+
+  return { safe: payload };
+}
+
+export function exceedsOsnapGasSubsidy(res: TenderlySimulationResult): boolean {
+  return res.gasUsed > OSNAP_GAS_SUBSIDY;
+}
diff --git a/src/plugins/oSnap/utils/transactions.ts b/src/plugins/oSnap/utils/transactions.ts
index ee76d93e0..e8fbf5eb2 100644
--- a/src/plugins/oSnap/utils/transactions.ts
+++ b/src/plugins/oSnap/utils/transactions.ts
@@ -150,7 +150,8 @@ export function createContractInteractionTransaction(params: {
       formatted,
       isValid: true
     };
-  } catch {
+  } catch (error) {
+    console.error(error);
     throw new Error('Invalid function parameters');
   }
 }
diff --git a/src/plugins/oSnap/utils/validators.ts b/src/plugins/oSnap/utils/validators.ts
index e5382e11e..4a69a3836 100644
--- a/src/plugins/oSnap/utils/validators.ts
+++ b/src/plugins/oSnap/utils/validators.ts
@@ -11,6 +11,7 @@ import getProvider from '@snapshot-labs/snapshot.js/src/utils/provider';
 import { OPTIMISTIC_GOVERNOR_ABI } from '../constants';
 import { BaseTransaction, NFT, Token, Transaction } from '../types';
 import { parseUnits } from '@ethersproject/units';
+import { useMemoize } from '@vueuse/core';
 
 /**
  * Validates that the given `address` is a valid Ethereum address
@@ -42,10 +43,9 @@ export const mustBeEthereumContractAddress = memoize(
 export function validateTransaction(transaction: BaseTransaction) {
   const addressNotEmptyOrInvalid =
     transaction.to !== '' && isAddress(transaction.to);
-  const valueIsPositive =
-    isBigNumberish(transaction.value) && parseInt(transaction.value) > 0;
+  const isBN = isBigNumberish(transaction.value);
   return (
-    valueIsPositive &&
+    isBN &&
     addressNotEmptyOrInvalid &&
     (!transaction.data || isHexString(transaction.data))
   );
@@ -122,3 +122,17 @@ export function amountPositive(amount: string, decimals = 18) {
 export function allTransactionsValid(transactions: Transaction[]): boolean {
   return transactions.every(tx => tx.isValid === true);
 }
+
+export async function isContractAddress(
+  address: string,
+  network: string
+): Promise<boolean> {
+  const provider = getProvider(network);
+  const code = await provider.getCode(address);
+  return code !== '0x' && code !== '0x0';
+}
+
+export const checkIsContract = useMemoize(
+  async (address: string, network: string) =>
+    await isContractAddress(address, network)
+);
diff --git a/yarn.lock b/yarn.lock
index 54d91a93c..e6a09676c 100644
--- a/yarn.lock
+++ b/yarn.lock
@@ -4326,6 +4326,11 @@ events@^3.0.0, events@^3.3.0:
   resolved "https://registry.yarnpkg.com/events/-/events-3.3.0.tgz#31a95ad0a924e2d2c419a813aeb2c4e878ea7400"
   integrity sha512-mQw+2fkQbALzQ7V0MY0IqdnXNOeTtP4r0lN9z7AAawCXgqea7bDii20AYrIBrFd/Hx0M2Ocz6S111CaFkUcb0Q==
 
+evm-proxy-detection@^1.2.0:
+  version "1.2.0"
+  resolved "https://registry.yarnpkg.com/evm-proxy-detection/-/evm-proxy-detection-1.2.0.tgz#090a0812d09638b0ef2389d2de121704dc21fb86"
+  integrity sha512-pujpLG5JIiNWLRvjqI7qeT63dAQMMZvO8gaDWMfIsur1GYaJwtqrerXjXjbb0s/P3fIYu9nUJMJTd8/HudR3ow==
+
 evp_bytestokey@^1.0.3:
   version "1.0.3"
   resolved "https://registry.yarnpkg.com/evp_bytestokey/-/evp_bytestokey-1.0.3.tgz#7fcbdb198dc71959432efe13842684e0525acb02"