fix: allow user to set libraryid in prompt

This commit is contained in:
enesakar 2025-05-19 11:18:42 -07:00
parent 35d4a10270
commit 5fc52df93c

View File

@ -114,12 +114,12 @@ ${resultsText}`,
server.tool( server.tool(
"get-library-docs", "get-library-docs",
"Fetches up-to-date documentation for a library. You must call 'resolve-library-id' first to obtain the exact Context7-compatible library ID required to use this tool.", "Fetches up-to-date documentation for a library. You must call 'resolve-library-id' first to obtain the exact Context7-compatible library ID required to use this tool, UNLESS the user explicitly provides a library ID in the format 'library:/org/project'.",
{ {
context7CompatibleLibraryID: z context7CompatibleLibraryID: z
.string() .string()
.describe( .describe(
"Exact Context7-compatible library ID (e.g., 'mongodb/docs', 'vercel/nextjs') retrieved from 'resolve-library-id'." "Exact Context7-compatible library ID (e.g., 'mongodb/docs', 'vercel/nextjs') retrieved from 'resolve-library-id' or directly from user query in the format 'library:/org/project'."
), ),
topic: z topic: z
.string() .string()