diff --git a/static/options.interfaces.ts b/static/options.interfaces.ts
index ae7d343caf2..f7df9457fab 100644
--- a/static/options.interfaces.ts
+++ b/static/options.interfaces.ts
@@ -24,6 +24,7 @@
 
 import {Language, LanguageKey} from '../types/languages.interfaces';
 import {CompilerInfo} from '../types/compiler.interfaces';
+import {Tool} from '../types/tool.interfaces';
 
 export type LibraryVersion = {
     alias: string[];
@@ -60,4 +61,5 @@ export type Options = {
     release?: string;
     sentryEnvironment?: string;
     compileOptions: Record<LanguageKey, string>;
+    tools: Record<LanguageKey, Record<string, Tool>>;
 };
diff --git a/static/panes/compiler.ts b/static/panes/compiler.ts
index ca61403e8ef..867bfd7c23b 100644
--- a/static/panes/compiler.ts
+++ b/static/panes/compiler.ts
@@ -2388,7 +2388,7 @@ export class Compiler extends MonacoPane<monaco.editor.IStandaloneCodeEditor, Co
         const createToolView: () => ComponentConfig<ToolViewState> = () => {
             let args = '';
             let monacoStdin = false;
-            const langTools = (options.tools as any)[this.currentLangId ?? ''];
+            const langTools = options.tools[this.currentLangId ?? ''];
             if (langTools && langTools[toolId] && langTools[toolId].tool) {
                 if (langTools[toolId].tool.args !== undefined) {
                     args = langTools[toolId].tool.args;