实时的已激活工具名称列表，未激活的工具可能被 agent 激活，已激活的工具也可能被 AutoTweaker 取消激活。
关于工具相关的机制，请见 io.github.autotweaker.api.tool.Tool。