fix: update to new get_documents tool (#2)

Author: tbpg

GEMINI.md

@@ -10,8 +10,7 @@ of those documents.
 
 This is the primary tool to search for documentation. It returns snippets of
 relevant documents, along with their names and URLs. If snippets are
-insufficient, use `get_document` or `batch_get_documents` to retrieve full
-content.
+insufficient, use `get_documents` to retrieve full content.
 
 **When to use:**
 
@@ -24,36 +23,13 @@ content.
 *   Do not use this tool if the user's question is not related to one of the
     covered Google developer products.
 *   Do not use this tool if you already have a document name and need its
-    content; use `get_document` or `batch_get_documents` instead.
+    content; use `get_documents` instead.
 
 **Example:** If a user asks "How do I create a Cloud Storage bucket?", you
 should call: `print(developer_knowledge.search_documents(query="How to create a
 Cloud Storage bucket?"))`
 
-### get_document
-
-This tool retrieves the full content of a single document based on its name.
-
-**When to use:**
-
-*   After calling `search_documents`, if a result seems relevant but the snippet
-    is insufficient to answer the user's question, use this tool to retrieve the
-    full document content of that single result using the `parent` returned by
-    `search_documents`.
-
-**When not to use:**
-
-*   Do not use this tool without first calling `search_documents` to obtain a
-    document name.
-*   Do not use this tool if you need to fetch more than one document; use
-    `batch_get_documents` instead for efficiency.
-
-**Example:** If `search_documents` returns a result with
-`parent='documents/docs.cloud.google.com/storage/docs/creating-buckets'`, and you
-need the full content, you should call:
-`print(developer_knowledge.get_document(name="documents/docs.cloud.google.com/storage/docs/creating-buckets"))`
-
-### batch_get_documents
+### get_documents
 
 This tool retrieves the full content of multiple documents (up to 20) in a
 single call, based on their names.
@@ -63,18 +39,15 @@ single call, based on their names.
 *   After calling `search_documents`, if multiple results seem relevant but
     their snippets are insufficient to answer the user's question, use this tool
     to retrieve the full document content of up to 20 results in a single call,
-    using the `parent` returned by `search_documents`. This is more efficient
-    than calling `get_document` multiple times.
+    using the `parent` returned by `search_documents`.
 
 **When not to use:**
 
 *   Do not use this tool without first calling `search_documents` to obtain
     document names.
-*   Do not use this tool if you only need to fetch a single document; use
-    `get_document` instead.
 
 **Example:** If `search_documents` returns multiple results, and you need the
 full content for two of them with `parent`
 `documents/docs.cloud.google.com/storage/docs/creating-buckets` and
 `documents/docs.cloud.google.com/storage/docs/introduction`, you should call:
-`print(developer_knowledge.batch_get_documents(names=["documents/docs.cloud.google.com/storage/docs/creating-buckets","documents/docs.cloud.google.com/storage/docs/introduction"]))`
+`print(developer_knowledge.get_documents(names=["documents/docs.cloud.google.com/storage/docs/creating-buckets","documents/docs.cloud.google.com/storage/docs/introduction"]))`