Update

esbmc_ai/__main__.py

@@ -44,9 +44,15 @@
 help_command: HelpCommand = HelpCommand()
 fix_code_command: FixCodeCommand = FixCodeCommand()
 exit_command: ExitCommand = ExitCommand()
-command_runner: CommandRunner = CommandRunner()
 
 verifier_runner: VerifierRunner = VerifierRunner()
+command_runner: CommandRunner = CommandRunner().init(
+    builtin_commands=[
+        help_command,
+        exit_command,
+        fix_code_command,
+    ]
+)
 
 chat: UserChat
 
@@ -114,14 +120,6 @@ def print_assistant_response(
 
 def _load_addons() -> None:
     """Manages loading addons"""
-    command_runner.init(
-        builtin_commands=[
-            help_command,
-            exit_command,
-            fix_code_command,
-        ]
-    )
-
     # Load all the addon commands
     command_runner.addon_commands.clear()
     command_runner.addon_commands.extend(

esbmc_ai/chat_response.py

@@ -49,6 +49,6 @@ def dict_to_base_message(json_string: dict) -> BaseMessage:
         raise Exception()
 
 
-def list_to_base_messages(json_messages: list[dict]) -> list[BaseMessage]:
+def list_to_base_messages(json_messages: list[dict]) -> tuple[BaseMessage, ...]:
     """Converts a list of messages from JSON format to a list of BaseMessage."""
-    return [dict_to_base_message(msg) for msg in json_messages]
+    return tuple(dict_to_base_message(msg) for msg in json_messages)

esbmc_ai/command_runner.py

@@ -13,7 +13,7 @@ def __new__(cls):
             cls.instance = super(CommandRunner, cls).__new__(cls)
         return cls.instance
 
-    def init(self, builtin_commands: list[ChatCommand]) -> None:
+    def init(self, builtin_commands: list[ChatCommand]) -> "CommandRunner":
         self._builtin_commands: list[ChatCommand] = builtin_commands.copy()
         self._addon_commands: list[ChatCommand] = []
 
@@ -23,6 +23,8 @@ def init(self, builtin_commands: list[ChatCommand]) -> None:
                 assert isinstance(cmd, HelpCommand)
                 cmd.commands = self.commands
 
+        return self
+
     @property
     def commands(self) -> list[ChatCommand]:
         """Returns all commands. The list is copied."""