pub fn tools_dir() -> Option<PathBuf>Expand description
The directory scanned for global drop-in Rhai tool scripts.
<home>/.leviath/tools, alongside providers/ and agents/ - not
<home>/tools, which is where three call sites landed by joining "tools"
onto the user home rather than the data root. That mattered: every .rhai
file found here is compiled and offered to every agent as an executable
tool, and $HOME/tools is an ordinary, non-hidden directory a developer may
well already have or that other software may write into.