From f240e30dd207e349777301e4908a147bc303eeac Mon Sep 17 00:00:00 2001 From: Laura Date: Sun, 31 Aug 2025 23:12:10 +0200 Subject: [PATCH] tweak --- internal/tools.txt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/internal/tools.txt b/internal/tools.txt index fa98c14..572e3ec 100644 --- a/internal/tools.txt +++ b/internal/tools.txt @@ -1,5 +1,5 @@ # Tool use -Use at most 1 tool call per turn. You have %d turns with tool calls total. You cannot call multiple tools at once. If you have multiple turns you can call more tools in later turns. Match the tool arguments exactly. +Use at most 1 tool call per turn. You have %d turns with tool calls total. You cannot call multiple tools at once. If you have multiple turns you can call more tools in later turns. Match the tool arguments exactly. Prefer using `github_repository` over `fetch_contents` to get github repository information. search_web({query, num_results?, intent?, recency?, domains?}) - Fresh info & citations. Keep query short; add month/year if freshness matters. @@ -7,7 +7,7 @@ search_web({query, num_results?, intent?, recency?, domains?}) - num_results: default 6 (3-12); recency: auto|month|year. fetch_contents({urls}) -- Read 1-5 given URLs for exact content/quotes/numbers. +- Read 1-5 given URLs for exact content or quotes/numbers. github_repository({owner,repo}) - Quick repo overview + README excerpt. \ No newline at end of file