From 0a905851ce4827bbca8a3de7e94e3c807c83a11d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Gr=C3=A9goire=20Pineau?= <lyrixx@lyrixx.info>
Date: Wed, 3 Dec 2025 10:29:45 +0100
Subject: [PATCH] [Agent] Fix type of Toolbox::$tools

---
 src/agent/src/Toolbox/Toolbox.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/agent/src/Toolbox/Toolbox.php b/src/agent/src/Toolbox/Toolbox.php
index b22d68bed..508ea4a38 100644
--- a/src/agent/src/Toolbox/Toolbox.php
+++ b/src/agent/src/Toolbox/Toolbox.php
@@ -34,7 +34,7 @@ final class Toolbox implements ToolboxInterface
     /**
      * List of executable tools.
      *
-     * @var list<mixed>
+     * @var list<object>
      */
     private readonly array $tools;
 
@@ -46,7 +46,7 @@ final class Toolbox implements ToolboxInterface
     private array $map;
 
     /**
-     * @param iterable<mixed> $tools
+     * @param iterable<object> $tools
      */
     public function __construct(
         iterable $tools,